Inconsistency and undefinedness in Z - a practical guide (1998)

by S H Valentine
Venue:11th International Conference of Z Users (ZUM’98