4 works on record
From object-orientation to formal methods
Fundamentals Of Computation Theory 18th International Symposium Proceedings
ANNA A Language for Annotating Ada Programs
Fundamentals of Computation Theory