Notation used in 'Pearls of Functional Algorithm Design'

Question

I just purchased the book 'Pearls of Functional Algorithm Design' by Richard Bird. Unfortunately, the book doesn't have any section that describes the notation that is used.

You can view the contents of the book by going to Amazon's page, and clicking on the book cover to get a sneak peak inside.

http://www.amazon.com/Pearls-Functional-Algorithm-Design-Richard/dp/0521513383

If someone could give me a name, and/or reference to understand the notation used. That way I could actually read and understand the algorithms.

Answer 1

He mentions in the preface that the reference programs are in Haskell. The formatting is LaTeX so it looks a bit odd.

I did some more digging and it turns out that the Mathematical notation used is called "Z Notation" after the Zermelo–Fraenkel set theory notation. Here is a guide, PDF is the second link in the list. The notation is part of a broader type of notation called Pidgin Code.