3 works on record
Advanced programming language design
1996
An operating systems vade mecum
1986
Morphological Typology