The Unified computation laboratory : modelling, specifications and tools /
Rattray, C.,1938-
Clark, Robert G.
Institute of Mathematics and Its Applications.
Oxford : Oxford University Press,
1992.