Carlo Ghezzi John A. McDermid ESEC '89, 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September 11-15, 1989, Proceedings ESEC Lecture Notes in Computer Science 387 Springer 1989 3-540-51635-2 db/conf/esec/esec89.html