@inproceedings{ICEIS-v3-2003-CarchioloLM,
	author        = "Vincenza Carchiolo and Alessandro Longheu and Michele Malgeri",
	booktitle     = "{Proceedings of the Fifth International Conference on Enterprise Information Systems, Volume 3}",
	pages         = "364--369",
	title         = "{Using Lotos in Workflow Specification}",
	year          = 2003,
}