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