Acta informatica

ISSN 0001-5903, 1432-0525