The set of topics is the most unusual Algorithm/Data Types book I ever seen. What Pascal compiler should I use to go through that code?

"In addressing human readers, we believe an open-ended, somewhat informal notation is preferable to the straightjacket of any one programming language. The latter becomes necessary if and when we execute a program, but during the incubation period when our understanding slowly grows toward a firm grasp of an idea, supporting intuition is much more important than formality." -- Nievergelt