With Prof. Martin Henson, he has studied the formal semantics of the Z notation in detail what was used in the international ISO standard for the Z notation.
He has studied the formal semantics of the Z notation in detail. This was with Prof. Martin Henson. This detail was used in the international ISO standard for the Z notation.