Angewandte Informatik und Formale Beschreibungsverfahren | lit.salon