Undefined expressions and logic (1999)

by Bill Stoddart, Steve Dunne, Andy Galloway
Venue:in Z and B. Formal Methods in System Design