Automatic formal verification of DSP software. - David W. Currie; Alan J. Hu; Sreeranga P. Rajan (DAC, 2000)

ZML: XML Support for Standard Z. - Mark Utting; Ian Toyn; Jing Sun 002; Andrew P. Martin; Jin Song Dong; Nicholas Daley; David W. Currie (ZB, 2003)

Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions. - David W. Currie; Xiushan Feng; Masahiro Fujita; Alan J. Hu; Mark Kwan; Sreeranga P. Rajan (Int. J. Parallel Program., 2006)