Programming Languages and Systems - Shan, Chung-chien (Springer International Publishing, 2013)