Fundamental approaches to software engineering : first international conference ; proceedings - Astesiano, Egidio (Herausgeber); FASE (1 : 1998 : Lissabon); ETAPS (1 : 1998 : Lissabon) (Lecture notes in computer science, 1998)