Bill Stoddart Steve Dunne Andy Galloway Undefined Expressions and Logic in Z and B. 201-215 1999 15 Formal Methods in System Design 3 db/journals/fmsd/fmsd15.html#StoddartDG99