Acta informatica (Springer Verlag, 1971)