B.A. Trakhtenbrot and Ya. M. Barzdinʹ ; translated from the Russian by D. Louvish ; English translation edited by E. Shamir and L.H. Landweber. -- North-Holland Pub. Co. -- (Fundamental studies in computer science ; v. 1).