2 works on record
Relational and Algebraic Methods in Computer Science
Relational Methods in Computer Science
1997