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 | lit.salon