5 works on record
The foundations of program verification
Foundations of programming languages
Grundlagen der Programmiersprachen
Algorithmentheorie
Mechanical construction of bounded-context parsers for chomsky O-type language