Title: ML for the Working Programmer, Author: Larry C. Paulson
Title: Modern Compiler Implementation in ML, Author: Andrew W. Appel