Modeling Object-Oriented Program Execution (1994)

by Wim De Pauw, Doug Kimelman, John Vlissides