1953
3 works on record
An introduction to functional programming through Lambda calculus
Trends in functional programming
Elementary standard ML