Mutable abstract datatypes {or{howtohaveyour state and munge it too (1992)

by P Hudak, D Rabin