Z base standard (1992)

by Brien SM, Nicholls JE
Venue:Oxford University Computing Laboratory