Cliff B. Jones Zhiming Liu Jim Woodcock Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings ICTAC Lecture Notes in Computer Science 4711 Springer 2007 978-3-540-75290-5 db/conf/ictac/ictac2007.html