Just would like to point out that you're one parenthesis shy in your
example code.

(define F (procedure (F N)
                ((procedure (G K L)
                   (if (zero? K) L
                     (G (- K 1) (* K L)))) N 1)))
                                                ^

	Scott

--