Die formale Orientierung der Informatik | lit.salon