The Average Cycle Size of the Key Stream in Output Feedback Encipherment. - Donald W. Davies; Graeme I. P. Parkin (CRYPTO, 1982)

A prototype system for the validation of Pascal programs. - Peter T. Wilkinson; J. A. Bouchard; B. A. Byrne; Michael A. Hennell; P. Jackson; G. O'Neill; Graeme I. P. Parkin; Brian A. Wichmann (Softw. Eng. J., 1988)

Specification of the MAA Standard in VDM. - Graeme I. P. Parkin; G. O'Neill (VDM Europe (1), 1991)

Conformity Clause for VDM-SL. - Graeme I. P. Parkin; Brian A. Wichmann (FME, 1993)

Overview: Survey of Formal Methods in Industry. - Graeme I. P. Parkin; Stephen Austin (FORTE, 1993)

Complex systems proved and improved. - Graeme I. P. Parkin (Microprocess. Microsystems, 1997)

A Dynamic Instrumentation Framework for Remote Operation of PC-Connected Devices. - Åsmund Sand; Mike Stevens; Graeme I. P. Parkin (VECIMS, 2006)

Ensuring numerical correctness using the Internet. - Graeme I. P. Parkin; Peter Harris (Comput. Stand. Interfaces, 2006)

Internet-Enabled Calibration: An Analysis of Different Topologies and a Comparison of Two Different Approaches. - Åsmund Sand; Mike Stevens; Graeme I. P. Parkin (IEEE Trans. Instrum. Meas., 2007)