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

by U Hensel, M Huisman, B Jacobs, H Tews
Venue:Proceedings of European Symposium on Programming (ESOP ’98), number 1381 in Lecture Notes in Computer Science