Donald R. Fitzwater, Earl J. Schweppe. Consequent procedures in conventional computers. In Proceedings of the 1964 fall joint computer conference, part I, AFIPS 1964 (Fall, part I), San Francisco, California, USA, October 27-29, 1964. pages 465-476, ACM, 1964. [doi]
Abstract is missing.