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)