40 Years of Formal Methods Some Obstacles and Some Possibilities ?
ML for the Working Programmer