Comparative Notes on ALGOL 68 and PL/I. - Samuel H. Valentine (Comput. J., 1974)

A Video-based Training Course in Reading Z Specifications. - Allan Norcliffe; Samuel H. Valentine (Z User Workshop, 1990)

Z–, an Executable Subset of Z. - Samuel H. Valentine (Z User Workshop, 1991)

Putting Numbers into the Mathematical Toolkit. - Samuel H. Valentine (Z User Workshop, 1992)

Equal Rights for Schemas in Z. - Samuel H. Valentine (ZUM, 1995)

The programming language Z-. - Samuel H. Valentine (Inf. Softw. Technol., 1995)

Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap. - John A. McDermid; Andy Galloway; Simon Burton 001; John A. Clark; Ian Toyn; Nigel J. Tracey; Samuel H. Valentine (ICFEM, 1998)

Inconsistency and Undefinedness in Z - A Practical Guide. - Samuel H. Valentine (ZUM, 1998)

On Mutually Recursive Free Types in Z. - Ian Toyn; Samuel H. Valentine; David A. Duffy (ZB, 2000)

Typechecking Z. - Ian Toyn; Samuel H. Valentine; Susan Stepney; Steve King 001 (ZB, 2000)

Type-Constrained Generics for Z. - Samuel H. Valentine; Ian Toyn; Susan Stepney; Steve King 001 (ZB, 2000)