Proteus-1: a general accelerator for CAD. - S. P. Smith; B. Wood; J. Little; P. Hunter (FJCC, 1987)