2 works on record
Category theory and computer science
Categorical Combinators, Sequential Algorithms, and Functional Programming