Programming Languages and Systems - Shao, Zhong (Springer Berlin Heidelberg, 2007)