Egidio Astesiano Carlo Ghezzi Fundamental Approaches to Software Engineering. 1-2 2001 40 Sci. Comput. Program. 1 db/journals/scp/scp40.html#AstesianoG01