Correspondence between ALGOL 60 and Church's Lambda-notation