Implementation of functional languages with state - Springer, Jonathan Charles (Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1996)