Take a look at these pages http://www.cs.brown.edu/courses/cs173/2003/Textbook/ [No, I am not reading them.] They grew out of the Hitcher's Guide to the Metauniverse, eh, EoPL, whatever. -- Matthias