Mathematical Foundations of Computer Science 1991 16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991. Proceedings Tarlecki Andrzej Heftet / 1991 / Engelsk
Foundations of Algebraic Specification and Formal Software Development Sannella Donald Heftet / 2014 / Engelsk
Foundations of Algebraic Specification and Formal Software Development Sannella Donald Innbundet / 2011 / Engelsk
