Spaccapietra, StefanoAuddino, Annamaria2005-03-162005-03-16199510.5075/epfl-thesis-1384https://infoscience.epfl.ch/handle/20.500.14299/209868enA language for multilevel specification of information systemsthesis::doctoral thesis