TAPSOFT'87 : Proceedings of the International Joint Conference on Theory and Practice of Software Development : Pisa, Italy, March 23-27, 1987 : Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic : Programming and Specifications (CFLP)