Implementation of Functional Languages with State (1996)

by J C Springer