Neel Madhav, Sriram Sankar. Application of formal specification to software maintenance. In Proceedings of the Conference on Software Maintenance, ICSM 1990, San Diego, CA, USA, 26-29 November, 1990. pages 230-241, IEEE, 1990. [doi]
Abstract is missing.