Notes for a Z handbook: Part l-The mathematical language (1984)

by B SUFRIN, C MORGAN, I SORENSEN, I HAYES
Venue:Programming Research Group, Oxford Univ., Computing Laboratory