Woodcock, J., Cavalcanti, A. L. C. & Freitas, L. (2005).
Operational Semantics for Model Checking Circus. In J. Fitzgerald, I. J. Hayes & A. Tarlecki (Eds.),
FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings (pp. 237-252). Springer.
https://doi.org/10.1007/11526841_17
Meyer, B.
& Woodcock, J. (Eds.) (2005).
Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions. In B. Meyer & J. Woodcock (Eds.),
Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions (Vol. 1). Springer.
https://doi.org/10.1007/978-3-540-69149-5
Stepney, S., Cooper, D.
& Woodcock, J. (1998).
More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement. In J. P. Bowen, A. Fett & M. G. Hinchey (Eds.),
ZUM ’98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings (Vol. 1, pp. 284-307). Springer Berlin, Heidelberg.
https://doi.org/10.1007/978-3-540-49676-2_20