A Formal Semantics for Z and the Link between Z and the Relational Algebra.

M. J. van Diepen, Kees M. van Hee

Browse the full FM paper archive.