8 works on record
Programming Languages and Systems
1998
Lambda Calculi
1994
Static analysis
Abstract interpretation of declarative languages
Semantics, Logics, and Calculi
Coordination programming
Principles of program analysis
Introducao ao calculo lambda