Verifying the safe use of destructive operations in applicative programs (1978)

by J Schwarz
Venue:Program Transformations -- Proc. of the 3rd Int'l Sym. on Programming, pages 395--411, Dunod Informatique