Gödel Tutorial
   A rather brief "tutorial" from Walla Walla.
   http://www.cs.wwc.edu/KU/PR/Godel.html

The Gödel Programming Language
   Experimental Gödel with Generic (Parametrised) Modules.
   http://www.scs.leeds.ac.uk/hill/GOEDEL/expgoedel.html