TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987 - Ehrig, Hartmut (Lecture notes in computer science ;, 1987)