Constructive formal methods and protocol standardization by A.J. Mooij