TY - SER TI - THEORY OF COMPUTING SYSTEMS SN - 1432-4350 PY - 1966/// CY - NEW YORK USA PB - SPRINGER-VERLAG ER -