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