1. Booch, G.: Object-Oriented Analysis and Design with Applications. Benjamin/Cummings, Redwood City, CA, 2 edition, 1994.
2. Coad, P., Yourdon, E.: Object-Oriented Analysis. Prentice Hall, Englewood Cliffs, NJ, 2 edition, 1991.
3. Dahl, O.-J., Owe, O.: Formal Development with ABEL. Technical Report 159, University of Oslo, 1991.
4. LNCS 906;G. Denker,1995
5. Denker, G.: Verfeinerung in objektorientierten Spezifikationen: Von Aktionen zu Transaktionen. PhD thesis, TU Braunschweig, Abt. Datenbanken, Postfach 3329, D-38023 Braunschweig, 1995.