<Ein> formaler Rahmen zur Bescheibung von Bator's Modell der Datenstrukturen - Nenninger, Markus (Passau, Univ., Diplomarbeit, 1993, 1993)