A Formal Semantics for Z and the Link between Z and the Relational Algebra. - M. J. van Diepen; Kees M. van Hee (VDM Europe, 1990)