2 works on record
Finite Automata, Their Algebras and Grammars
Die Boole'sche partialordnung und die paarung von Gefugen