A greedy approach to object identification in imperative code. - B. L. Achee; Doris L. Carver (WPC, 1994)

Object Extensions to Z: a Survey. - B. L. Achee; Doris L. Carver (Int. J. Softw. Eng. Knowl. Eng., 1996)

Creating object-oriented designs from legacy FORTRAN code. - B. L. Achee; Doris L. Carver (J. Syst. Softw., 1997)