@inproceedings{ICEIS-DISI-2008-SalemGB,
	author        = "Ali Salem and Faïza Ghozzi and Hanêne Ben-Abdallah",
	booktitle     = "{Proceedings of the 10th International Conference on Enterprise Information Systems, Volume 1: DISI}",
	isbn          = "978-989-8111-36-4",
	pages         = "317--322",
	title         = "{Multi-Dimensional Modeling — Formal Specification and Verification of the Hierarchy Concept}",
	year          = 2008,
}