Carlo Ghezzi Gruia-Catalin Roman Guest Editors' Remarks: Selected Papers of the Sixth International Workshop on Software Specification and Design. 1-2 1993 20 Sci. Comput. Program. 1-2 db/journals/scp/scp20.html#GhezziR93