(untitled) - Magnus,P.; Morris,J.C.; Lynch,V. (Synthesis, 1997)