3 works on record
A telephone's system specification using graph grammars
1996
Formal Methods : Foundations and Applications
Formal Methods Teaching