An experiment with affirm and HDM. - Jonathan K. Millen; David L. Drake (J. Syst. Softw., 1981)