Computer aided design : fundamentals and system architectures - Encarnação, José Luis; Lindner, Rolf; Schlechtendahl, E. G. (Ernst G.) (Symbolic computation, 1990)