Theoretical Aspects of Computing – ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings - Jones, Cliff B.; Liu, Zhiming; Woodcock, Jim (Springer Berlin Heidelberg, 2007)