@inbook { Moreira.Ara,
	title = {Generating Object-Z Specifications from Use Cases},
	year = {2000},
	note = {<p>ISBN={0-7923-6239-X}</p>
},
	publisher = {Kluwer},
	organization = {Kluwer},
	abstract = {<p>n/a</p>
},
	author = {A. Moreira, and J. Ara{\'u}jo,}
}
