K.: An imperative, first-order calculus with object extension (1998)

by V Bono, Fisher
Venue:In: Proceedings of the 12th European Conference on Object-Oriented Programming