Acta informatica (Springer-Verlag, 1971)