2 works on record
Reliable object-oriented software
1995
Principles of object-oriented software development with Ada
1992