.theory of machines and computations,(ed). paz,azaria,(jt.ed). - kohavi,zvi (1st.ed | .New York Academic, 1971)