Acta Informatica
Covers design, description, presentation and analysis of programs, information structures and computing systems. Abstracts available, subscription for full-text articles.