Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (Tapsoft), B (Paperback) - Colloquium on Software Engineering (Cse)
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (Ta (Paperback) - Colloquium on Trees in Algebra and Programming (Caap'85)