Nichtphysikalische Grundlagen der Informationstechnik : interpretierte Formalismen.