A system for prototyping Z specifications in Prolog / S. Ekam bareshwar - S. Ekambareshwar (1991)