@techreport{1998-Jacobs-AboutReasoning,
  author		= "{Jacobs}, B.P.F. and {Berg}, J.A.G.M. van den and {Huisman}, M. and {van Berkum}, M. and {HenselH}, U.",
  title			= "{Reasoning about Java Classes}",
  number		= "CSI--R9812",
  month			= "April",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "1998",
  code			= "icis.CSI-R9812",
  research_group	= "icis",
  class			= "Report"
}