Greg Reeve Improving Software using Requirements Formalisation. 70-77 1999 New Zealand Computer Science Research Students' Conference db/conf/nzgrad/nzgrad1999.html#Reeve99