Acta Informatica (Springer Verlag, 1971)