Jane Hesketh David Stuart Robertson Norbert E. Fuchs Alan Bundy Lightweight Formalisation in Support of Requirements Engineering. 183-210 1998 5 Autom. Softw. Eng. 2 db/journals/ase/ase5.html#HeskethRFB98