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