2 works on record
Theoretical aspects of object-oriented programming
Semantics of programming languages