Hierarchical Refinement Of A Z Specification. - Dave Neilson (FSTTCS, 1987)

Machine Support for Z: the zebB Tool. - Dave Neilson (Z User Workshop, 1990)

zedB: A Proof Tool for Z Built on B. - Dave Neilson; Divya Prasad (Z User Workshop, 1991)