R. R. Willis E. P. Jensen Computer Aided Design of Software Systems. 116-125 1979 ICSE db/conf/icse/icse79.html#WillisJ79