Dia menyebutkan dalam kata pengantar bahwa program referensi ada di Haskell. Formatnya adalah LaTeX sehingga terlihat agak aneh.
Saya melakukan lebih banyak penggalian dan ternyata notasi matematika yang digunakan disebut " Notasi Z " setelah notasi teori set Zermelo-Fraenkel. Berikut ini panduannya , PDF adalah tautan kedua dalam daftar. Notasi adalah bagian dari jenis notasi yang lebih luas yang disebut Kode Pidgin :
Dalam pemrograman komputer, kode pidgin adalah campuran dari beberapa bahasa pemrograman dalam program yang sama, atau pseudocode yang merupakan campuran dari bahasa pemrograman dengan deskripsi bahasa alami. Oleh karena itu namanya: campuran adalah bahasa pemrograman analog dengan pidgin dalam bahasa alami.
Dalam perhitungan numerik, pseudocode gaya matematika kadang-kadang disebut kode pidgin, misalnya pidgin ALGOL (asal konsep), pidgin Fortran, BASIC pidgin, BASIC pidgin, Pascal, dan pidgin C. Ini adalah notasi yang ringkas dan sering informal yang memadukan sintaksis yang diambil dari bahasa pemrograman konvensional dengan notasi matematika, biasanya menggunakan teori himpunan dan operasi matriks, dan mungkin juga deskripsi bahasa alami.
Ini dapat dipahami oleh berbagai orang yang terlatih secara matematis, dan digunakan sebagai cara untuk menggambarkan algoritma di mana struktur kontrol dibuat eksplisit pada tingkat detail yang agak tinggi, sementara beberapa struktur data masih dibiarkan pada tingkat abstrak, independen dari bahasa pemrograman tertentu.
Biasanya penyusunan huruf non-ASCII digunakan untuk persamaan matematika, misalnya dengan menggunakan markup TeX atau MathML, atau format editor Formula eksklusif.