(untitled) - Bernier, D; Brückner, R (Synthesis, 2007)