W: A Logic for Z. - J. C. P. Woodclock; S. M. Brien (Z User Workshop, 1991)

A Time-Interval Calculus. - S. M. Brien (MPC, 1992)

A Calculus for Schemas in Z. - S. M. Brien; Andrew P. Martin (J. Symb. Comput., 2000)