@inproceedings{ICEIS-1999-MoreiraA,
	author        = "Ana M. D. Moreira and João Araújo",
	booktitle     = "{Proceedings of the First International Conference on Enterprise Information Systems}",
	pages         = "493--500",
	title         = "{Generating Object-Z Specifications from Use Cases}",
	year          = 1999,
}