Ackerman, W.B. "Axiomatic verification in single assignment languages" Computation Structures Group Memo, LCS, M.I.T., Cambridge, Mass., Sept. 1980.

Languages mentioned

• VAL {1979} Value-oriented Algorithmic Language