A users guide for compiling programs with the ML Kit and for
programming with regions in the ML Kit is available:
Mads Tofte, Lars Birkedal, Martin Elsman, Niels
Hallenberg, Tommy Højfeld Olesen, and Peter Sestoft. Programming with Regions in the ML Kit
(for Version 4). IT University of Copenhagen. April 2002.
pdf.