Informatik 2 — Friedrich L. Bauer, Gerhard Goos, F.L. Bauer, W. Dosch | Cutter Number
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