@inproceedings{SEKE-2003-FlakeM,
	author        = "Stephan Flake and Wolfgang Müller",
	booktitle     = "{Proceedings of the 15th International Conference on Software Engineering and Knowledge Engineering}",
	pages         = "142--149",
	title         = "{Semantics of State-Oriented Expressions in the Object Constraint Language}",
	year          = 2003,
}