Computer Aided Design of Software Systems. - R. R. Willis; E. P. Jensen (ICSE, 1979)