@inproceedings{Mens&al94b,
	title = {OPUS: a Calculus for Modeling Object-Oriented Concepts},
	author = {Tom Mens and Kim Mens and Patrick Steyaert},
	booktitle = {Proceedings of Object-Oriented Information Systems 1994 (OOIS94)},
	editor = {D. Patel and Y. Sun and S. Patel},
	pages = {152--165},
	publisher = {Springer-Verlag},
	year = {1994},
	biburl = {http://www.bibsonomy.org/bibtex/2036ff94e6ba49b5900c5037709f18b13/kimmens},
	description = {Some references related to aspect mining},
	isbn = {3-540-19927-6},
	keywords = {calculus formalism object-oriented }
}