1. A. W. Appel, R. Milner, R. W. Harper, D. B. MacQueen, Standard ML Reference Manual (preliminary draft), University of Edinburgh, LFCS Report, 1988.
2. G.E. Collins, R. Loos, ALDES/SAC-2 now available, SIGSAM Bulletin 1982, and several reports distributed with the ALDES/SAC-2 system.
3. R. D. Jenks et al., Scratchpad II Programming Language Manual, Computer Algebra Group, IBM, Yorktown Heights, NY, 1985.
4. H. Kredel, From SAC-2 to Modula-2, Proc. ISSAC'88 Rome, LNCS 358, pp 447–455, Springer, 1989.
5. R. G. K. Loos. The Algorithm Description Language ALDES (Report), SIGSAM Bulletin 14/1, pp 15–39, 1976.