3 works on record
Functional programming and its applications
A semantic approach to automatic program improvement
LEAVING