ABC ALGOL a portable language for formula manipulation systems - Riet, Reind P. van de