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

by U Hensel, M Huisman, B Jacobs, H Tews
Venue:in Programming Languages and Systems: 7th European Symposium On Programming