The language of design : theory and computation - Dong, Andy An-Si. (Springer, 2009)