Sudin Bhat, Kanth Miriyala. Operations for evolving specifications. In Proceedings of the Eighth Knowledge-Based Software Engineering Conference, KBSE 1993, Chicago, IL, USA, September 20-23, 1993. pages 104-111, IEEE Computer Society, 1993. [doi]
Abstract is missing.