Specifying system implementations in Z /
Bowen, Jonathan.
Gimson, Roger.
Topp-Jørgesen, Stig.
Oxford : Oxford University Computing Laboratory,
1988.