Understanding Z : - Spivey, J. M. (Cambridge tracts in theoretical computer science ;, 1988)