@inproceedings{OOPSLA-1998-JacobsBHB,
	author        = "Bart Jacobs and Joachim van den Berg and Marieke Huisman and Martijn van Berkum",
	booktitle     = "{Proceedings of the 13th Conference on Object-Oriented Programming, Systems, Languages and Applications}",
	doi           = "10.1145/286936.286973",
	editor        = "Bjørn N. Freeman-Benson and Craig Chambers",
	isbn          = "1-58113-005-8",
	pages         = "329--340",
	publisher     = "{ACM}",
	title         = "{Reasoning about Java Classes}",
	year          = 1998,
}