Intelligent CAD systems III : Practical experience and evaluationPapers presented at the 3rd Eurographics workshop on intelligent CAD systems,Apr.3-7,1989,Texel / Ed.: P. J.W. Hagen, P. J. Veerkamp, 1991. - 270 p. - Текст : непосредственный.
Formal methods in the development of PREMO / D.A.Duce,D.J.Duke,P.J.W.Hagen и др., 1994. - 17 p. - Текст : непосредственный.