The Language of Design Theory and Computation - Dong, Andy (Springer London, 2009)