1. P. Bekaert and E. Steegmans. Using Non-Determinism for the Separate Specification of Structure and Behaviour. Report CW 337, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 2002.
2. P. Bekaert and E. Steegmans. Non-determinism in conceptual models. In Proceedings of the Tenth OOPSLA Workshop on Behavioral Semantics, OOPSLA.01, October 2001.
3. Borgida. Features of Languages for the Development of Information Systems at the Conceptual Level. IEEE Software, 2(1), January 1985, pp. 63–73.
4. T. Budd. An Introduction to Object-Oriented Programming. Addison Wesley, 1997.
5. S. Greenspan, J. Mylopoulos, and A. Borgida. On Formal Requirements Modeling Languages: RML Revisited. International Conference on Software Engineering, 1994, pp. 135–147.