TY - BOOK AU - Aiserman Mark A. TI - Logic,Automata,and Algorithms PY - 1971/// CY - New York PB - Academic Press ER -