PERUSE: An Interactive System for Mathematical Programs. - William G. Kurator; Richard P. O'Neill (ACM Trans. Math. Softw., 1980)