Logičeskije osnovy cifrovych mašin i programmirovanija - Papernov, A.A (Nauka, 1965)