Acta informatica. (b Springer-Verlag, 1997)