edited by Hartmut Ehrig ... [et al.] ; : gw, : us. -- Springer-Verlag, 1985. -- (Lecture notes in computer science ; 186 . Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 ; v. 2).