4 works on record
Methods of programming
Algebraic methods
Programming Language Implementation and Logic Programming
Radical innovations of software and systems engineering in the future