5 works on record
Functional and Logic Programming
Introduction to Computation
Functional Programming, Glasgow 1991
Practical Aspects of Declarative Languages
Java Generics and Collections