Vyčisliteľnyje sistemy i sinchronnaja aritmetika - Karcev, Michail Aleksandrovič; Brik, Vladimir Arkaďjevič (rz1, 1981)