A prototype system for the validation of Pascal programs (1987)