2 works on record
Typed Lambda Calculi and Applications
Mathematical Foundations of Computer Science 2006