(untitled) - Gaber, A E.-A. M; McNab, H (Synthesis, 2001)