5 works on record
FM 2005
Mathematical Foundations of Computer Science 1991
Algebras for some input/output semantics
Free constructions in algebraic institutions
A language of specified programs