Reasoning about classes in object-oriented languages: Logical models and tools (1998)

by U Hensel, M Huisman, B Jacobs, H Tews
Venue:European Symposium on Program ming (ESOP), num ber 1381 in Lecture Notes in Com puter Science