Theory of mathematical machines - Bazilevskii Yu Ya; Hoare C A R (London Pergamon Press, 1963)
Keywords: Computer science