Harry M. Sneed, Gabor Jandrasics. Inverse transformation of software from code to specification. In Proceedings of the Conference on Software Maintenance, ICSM 1988, Scottsdale, AZ, USA, 24-27 October, 1988. pages 102-109, IEEE, 1988. [doi]
Abstract is missing.