TY - BOOK AU - Rattray, C. (Charles) AU - Clark, Robert G. (Robert George) TI - The Unified computation laboratory : modelling, specifications, and tools PB - Clarendon Press PB - Oxford University Press PY - 1992 T2 - The Institute of Mathematics and its Applications conference series VL - new series no. 35 EP - xiii, 461 p. UR - http://ci.nii.ac.jp/ncid/BA18247903 SN - 0198536844 ER -