Menciona en el prefacio que los programas de referencia están en Haskell. El formato es LaTeX, por lo que parece un poco extraño.
Investigué un poco más y resulta que la notación matemática utilizada se llama " Notación Z " después de la notación de teoría de conjuntos Zermelo-Fraenkel. Aquí hay una guía , PDF es el segundo enlace en la lista. La notación es parte de un tipo más amplio de notación llamada Código Pidgin :
En la programación de computadoras, el código pidgin es una mezcla de varios lenguajes de programación en el mismo programa, o pseudocódigo que es una mezcla de un lenguaje de programación con descripciones de lenguaje natural. De ahí el nombre: la mezcla es un lenguaje de programación análogo a un pidgin en lenguajes naturales.
En computación numérica, el pseudocódigo de estilo matemático a veces se llama código pidgin, por ejemplo pidgin ALGOL (el origen del concepto), pidgin Fortran, pidgin BASIC, pidgin Pascal y pidgin C. Es una notación compacta y a menudo informal que combina la sintaxis tomada de un lenguaje de programación convencional con notación matemática, típicamente usando teoría de conjuntos y operaciones matriciales, y quizás también descripciones de lenguaje natural.
Puede ser entendido por una amplia gama de personas con formación matemática, y se utiliza como una forma de describir algoritmos en los que la estructura de control se hace explícita a un nivel bastante alto de detalle, mientras que algunas estructuras de datos aún se dejan en un nivel abstracto, independiente de cualquier lenguaje de programación específico.
Normalmente, la composición tipográfica no ASCII se utiliza para las ecuaciones matemáticas, por ejemplo, mediante el marcado TeX o MathML, o formatos de editor de Fórmula patentados.