Tapsoft '87. Vol. 1 : Proceedings of the internat. joint conf. on theory and practice of software development, Pisa, Italy, March 23 - 27, 1987 - Wegener, Ingo (Lecture notes in computer science, 1987)