Reasoning about classes in Java (preliminary report (1998)

by B Jacobs, J van den Berg, M Huisman, M van Berkum, U Hensel, H Tews
Venue:In ObjectOriented Programming, Systems, Languages and Applications (OOPSLA