Author: Conference on Algebraic, Arithmetic, and Categorial Methods in Computation Theory (1979 Wendisch Rietz, Germany)