TAPSOFT '95 theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings - Mosses, Peter; Nielsen, M. 1949- (Mogens); Schwartzbach, Michael I. (Lecture notes in computer science, 1995)