Tapsoft '87 proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987
International Joint Conference on Theory and Practice of Software Development (2nd 1987 Pisa, Italy) Hartmut Ehrig; Advanced Seminar on Foundations of Innovative Software Development II; Colloquium on Functional and Logic Programming and Specifications (CFLP)