Computer aided design : fundamentals and system architectures - Encarnacao, Jose Luis (Symbolic computation /, 1983)