WIKSTROM(Ake) <br/><br/>
Functional programming using standard ML 

 -  Prentice Hall  1987 
 - xvii p. + 446