Computer aided design : fundamentals and system architectures - Encarnacao, José Luis (Simbolic computation ;, 1990)