(untitled) - Hol,A. (Synthesis, 1998)