Too lazy to read past the first page before breakfast, but: All four implementations stay very close to the formal specification of the algorithm and do not at

Too lazy to read past the first page before breakfast, but: All four implementations stay very close to the formal specification of the algorithm and do not attempt any form of language specific optimization or adaption. So there appears to be some inconsistency in how they describe their methods.