The Unified computation laboratory : modelling, specifications, and tools /
edited by Charles Rattray and Robert G. Clark.
- Oxford : New York : Clarendon Press ; Oxford University Press, 1992.
- xiii, 461 p. : ill. ; 24 cm.
- The Institute of Mathematics and Its Applications conference series ; new ser., 35 .
"Based on the proceedings of a conference on the Unified Computation Laboratory, organized by the Institute of Mathematics and its Applications and held at the University of Stirling in July 1990."