Reasoning about Classes in Object-Oriented Languages: Logical Models and Tools (1998)

by Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews