Formal methods and software development proceedings of the Internat. Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25 - 29, 1985 (Springer, 1985)