Theoretical aspects of computing - ICTAC 2007 : 4th International Colloquium : Macao, China, September 26-28, 2007 : proceedings - Jones, C. B. 1944-; Liu, Zhiming, 1961-; Woodcock, Jim, 1956- (Lecture notes in artificial intelligence ;, 2007)