Donald R. Fitzwater, Earl J. Schweppe: Consequent procedures in conventional computers. AFIPS Fall Joint Computing Conference (1) 1964: 465-476