Arnon, D., "Report of the Workshop on Environments for Computational Mathematics", RFC 1019, DOI 10.17487/RFC1019, September 1987, .