Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development ... (CAAP'85) (Lecture Notes in Computer Science)