1. Alblas, H., Melichar, B. (eds.), 1991, Attribute Grammars, Application and Systems, International Summer School SAGA, Prague, Czech Republic, June 1991, Proceedings, (Springer-Verlag, Germany, 1991), ISBN 3-540-54572-7.
2. Date, C. J., 1995, An Introduction to Database Systems (Addison-Wesley, USA, 1995), ISBN 0-201-54329-X.
3. van Lamsweerde, A., 2000, Formal specification: a roadmap, in: The Future of Software Engineering, edited by A. Finkelstein (ACM Press, 2000).
4. Polovina R., 1999, State dependent behavioral aspects of objects: automatic synthesis, in System Development Methods and Databases, Enterprise Modeling, and Workflow Management, edited by W. Wojtkowski, (Kluwer Academic, 1999), pp. 1–30.
5. Polovina R. and Wojtkowski., W., 1999, On the Nature of Modeling and Object Orientation, 4th European Congress of System Science, Valencia, Spain, 1999, pp. 679–689.