Ulrich Hensel. Definitions- und Beweisprinzipien für Daten und Prozesse. In Herbert Fiedler, Oliver Günther, Werner Grass, Steffen Hölldobler, Günter Hotz, Rüdiger Reischuk, Bernhard Seeger, Dorothea Wagner, editors, Ausgezeichnete Informatikdissertationen 1999. pages 94-105, Teubner, 1999. [doi]
Abstract is missing.