Garrigue, Jacques "FIML Manual"
(1994)
Languages mentioned
FIML
{1992} Functional and Imperative ML