Acta informatica (Springer, 1971)