Reasoning about Java classes (1998)

by Bart Jacobs, Joachim van den Berg, Marieke Huisman, Martijn van Berkum, Ulrich Hensel, Hendrik Tews
Venue:In OOPSLA