Yves Ledru, Marie-Hélène Liégeois. Prototyping VDM specifications with KIDS. In Proceedings of the Seventh Knowledge-Based Software Engineering Conference, KBSE 1992, McLean, VA, USA, September 20-23, 1992. pages 50-59, IEEE Computer Society, 1992. [doi]
Abstract is missing.