著者名	書名	版表示	出版者名	出版年	シリーズ名	番号	ISBN	ISSN	URL
Rattray, C. (Charles) and Clark, Robert G. (Robert George)	The Unified computation laboratory : modelling, specifications, and tools		Clarendon Press,Oxford University Press	1992	The Institute of Mathematics and its Applications conference series	new series no. 35	0198536844		http://ci.nii.ac.jp/ncid/BA18247903