@inproceedings{ICEIS-ISAS-2006-CruzLW,
	author        = "José Diego De la Cruz and Lam-Son Lê and Alain Wegmann",
	booktitle     = "{Proceedings of the Eighth International Conference on Enterprise Information Systems: Information Systems Analysis and Specification}",
	isbn          = "972-8865-41-4",
	pages         = "298--303",
	title         = "{Visual Contracts — A Way to Reason about States and Cardinalities in IT System Specifications}",
	year          = 2006,
}