Title: The action semantics of object-oriented languages
First published: 1998