The syntax of PAL and AUTOMATH, Technological University Eindhoven, Internal Report, Notitie 32, ( 9 April 1970).

Languages mentioned

• PAL {1970}