Safe Sequencing of Assignments in Purely Functional Programming Languages (1993)

by P Thiemann