Operational methods in computer aided design (CRC Press, 2001)