SWIM: A Knowledge-Based Digital Circuit Simulator. - Dana L. Wyatt; Mahir S. Ali; John A. Benavides (Int. J. Comput. Simul., 1994)