Theoretical Aspects of Computing - ICTAC 2007 : 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings - Cliff B. Jones, Zhiming Liu, Jim Woodcock ((Lecture Notes in Computer Science))