1. Beeri, C., Thalheim, B.: Identification as a primitive of database models. In: Polle, T., Ripke, T., Schewe, K.-D. (eds.) FoMLaDO 1998. Proc. Fundamentals of Information Systems, 7th Int. Workshop on Foundations of Models and Languages for Data and Objects, Timmel, Ostfriesland, pp. 19–36. Kluwer, London (1999)
2. Börger, E., Stärk, R.: Abstract state machines - A method for high-level system design and analysis. Springer, Berlin (2003)
3. Lecture Notes in Computer Science;J. Demetrovics,2004
4. Lecture Notes in Computer Science;H. Jaakkola,2005
5. Kaschek, R.: Konzeptionelle Modellierung. PhD thesis, University Klagenfurt, Habilitationsschrift (2003)