4 works on record
A paradigm for program semantics
2001
Relational Methods in Computer Science
1997
Soul of a University
Mathematics
