[mellis]

There's a great discussion of state in one of the original lambda papers: "The Art of the Interpreter or, the Modularity Complex" by Gerald Sussman and Guy Steele from 1978: https://dspace.mit.edu/bitstream/handle/1721.1/6094/AIM-453.... (Part 2).