Dave Neilson

发表

Hierarchical Refinement Of A Z Specification

Dave Neilson, 1987, FSTTCS.

Machine Support for Z: the zebB Tool

Dave Neilson, 1990, Z User Workshop.

zedB: A Proof Tool for Z Built on B

Dave Neilson, Divya Prasad, 1991, Z User Workshop.

The B-Technologies : A system for computer aided programming

Dave Neilson, 1999 .