Grit Denker. Verfeinerung in objektorientierten Spezifikationen: Von Aktionen zu Transaktionen. In Wolfgang Bibel, Herbert Fiedler, Werner Grass, Peter Gorny, Günter Hotz, Immo O. Kerner, Rüdiger Reischuk, Friedrich Roithmayr, editors, Ausgezeichnete Informatikdissertationen 1996. pages 9-28, Vieweg+Teubner Verlag, 1996. [doi]
Abstract is missing.