A formal definition of algol 60 (1972)

by C D Allen, D N Chapman, C B Jones