(untitled) - Levesque,G. (Synthesis, 1981)