I wish someone would write a reference implementation in a functional language.

At least that would formalize the specification.