Putting SML into Practice - Ian Cunningham; Ben Bennett (Taylor and Francis, 2000)