@misc {IOPORT.71015845,
    author       = {Classen, Andreas and Hubaux, Arnaud and Heymans, Patrick},
    title        = {A formal semantics for multi-level staged configuration},
    howpublished = {VaMoS, 51-60 (2009).},
    year         = {2009},
    identifier   = {71015845},
}