@conference { AraujoAMCIS00,
	title = {Specifying the Behaviour of UML Collaborations Using Object-Z},
	booktitle = {Americas Conference on Information, Systems (AMCIS)},
	year = {2000},
	note = {<p>n/a</p>
},
	publisher = {Association for Information Systems},
	organization = {Association for Information Systems},
	address = {Long Beach, USA},
	abstract = {<p>n/a</p>
},
	author = {J. Ara{\'u}jo, and A. Moreira}
}
