Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85) Ehrig Hartmut Heftet / 1985 / Engelsk
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 Volume 2: Colloquium on Software Engineering (CSE) Ehrig Hartmut Heftet / 1985 / Engelsk
