Liver, Beat2006-12-132006-12-132006-12-131995https://infoscience.epfl.ch/handle/20.500.14299/238123Formalizing Aspects of Design Patternstext::report