Tool support for executable specification: a technique using Meta-IV and Prolog. - Ngiam Chiung Wong (1987)