An Algorithm Defining ALGOL Assignment Statements
CACM March, 1960
Floyd, R. W.
