(untitled) - Banert, K (Synthesis, 2007)