5 works on record
Concurrent Objects and Beyond
Theoretical Aspects of Computer Software
Automata, Languages, and Programming
Programming Languages and Systems
Foundations of Software Science and Computation Structures
