Abstract data types in standard ML - Harrison, Rachel (Wiley, 1993)
Literaturverz. S. 201 - 208