PASCAL - Belford, Geneva, Liu, C. L. (1984)