Theory and practice of software technology : proceedings of the International Seminars on Software Engineering, Capri, Italy, 1980 & 1982 - International Seminar on Software Engineering; Ferrari, Domenico; Bolognani, Mario; Goguen, Joseph; International Seminar on Software Engineering (North-Holland Pub. Co., 1983)