User:Joachim Draeger/sandbox

Signature (computer science)2020 Mathematics Subject Classification: Primary: 68P05 [MSN][ZBL] {||-|valign="top"|[EM85]||valign="top"| H. Ehrig, B. Mahr: "Fundamentals of Algebraic Specifications", Volume 1, Springer 1985|-|valign="top"|[EM90]||valign="top"| H. Ehrig, B. Mahr: "Fundamentals of Algebraic Specifications", Volume 2, Springer 1990|-|valign="top"|[M89]||valign="top"| B. Möller: "Algorithmische Sprachen und Methodik des Programmierens I", lecture notes, Technical University Munich 1989|-|valign="top"|[W90]||valign="top"| M. Wirsing: "Algebraic Specification", in J. van Leeuwen: "Handbook of Theoretical Computer Science", Elsevier 1990|-|}