Issues in the Semantics of Z

The Treatment of Undefinedness

Closure under Equality Substitutions

The Scope of Bindings