Circuit World An Intelligent Simulation System For Digital Logic. - Barry L. Kurtz; Cathy Cavendish; Byron Thatcher (ICCAL, 1989)