Привет!

Cryptol is a domain specific language for the design, implementation and verification of cryptographic algorithms

http://www.galois.com/technology/communications_security/cryptol

Спецификация http://www.galois.com/files/Cryptol/Cryptol_Programming_Guide.pdf
Содержит подробное описание синтаксиса, с большим количеством примеров, объем чуть больше 100 страниц.

Анонс http://www.galois.com/blog/2008/12/24/cryptol-the-language-of-cryptography-now-available/