Abstract data types in Standard ML /
Harrison, Rachel.
Chichester : Wiley,
1993.