Theoretical aspects of computing ICTAC 2007 : 4th international colloquium, Macao, China, September 26-28, 2007 : proceedings / - Jones, C. B.; Liu, Zhiming,; Woodcock, Jim. (Lecture notes in computer science,)