TY - BOOK AU - WIKSTROM(Ake) TI - Functional programming using standard ML PB - Prentice Hall ER -