Title: Logic And Algebra Of Specification Proceedings Of The Nato Advanced Study Institute On Logic And Algebra Of Specification Held In Marktoberdorf Germany July 23 August 4 1991
Subjects: Specification writing