(untitled) - Gree,R. (Synthesis, 1989)