Inverse transformation of software from code to specification. - Harry M. Sneed; Gabor Jandrasics (ICSM, 1988)