Z : grammar and concrete and abstract syntaxes (version 2.0) /
King, Steve.
Sorensen, Ib Holm.
Woodcock, Jim.
Oxford University Computing Laboratory.Programming Research Group.
Oxford : Oxford University Computing Laboratory, Programming Research Group,
1988.