Herbert Y. Chang, Stephen G. Chappell: Deductive Techniques for Simulating Logic Circuits. Computer 8(3): 52-59 (1975)