TY - BOOK AU - Bazilevskii Yu Ya AU - Hoare C A R TI - Theory of mathematical machines U1 - 004.1 PY - 1963/// CY - London PB - Pergamon Press KW - Computer science ER -