Advances in Formal Design Methods for CAD
-
inbunden
,
Engelska, 1996