Prototyping VDM specifications with KIDS. - Yves Ledru; Marie-Hélène Liégeois (KBSE, 1992)