J. C. P.

Cambridge Elementary Statistical Tables

By Lindley, D. V., Miller, J. C. P.

Using Z : Specification, Refinement, and Proof

By Jim Woodcock, Woodcock, Jim, J. C. P., Davies