The Standard Pascal Model Implementation was also based on this compiler, having been adapted, by Welsh and Hay at Manchester University in 1984, to check rigorously for conformity to the BSI 6192/ISO 7185 Standard and to generate code for a portable abstract machine.
Việc thực hiện mô hình chuẩn Pascal cũng dựa trên trình biên dịch này, đã được điều chỉnh bởi Welsh và Hay tại Đại học Manchester vào năm 1984, để kiểm tra nghiêm ngặt sự phù hợp với tiêu chuẩn BSI 6192 / ISO 7185 và tạo mã cho một máy trừu tượng di động.