Stav dette: Algorithms and automatic computing machines. Translated and adapted from the 2d Russian ed. (1960) by Jerome Kristian, James D. McCawley, and Samuel A. Schmitt.