Acta Informatica. (Springer-Verlag, 1971)