Martin Leucker Carroll Morgan Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings 5684 2009 http://dx.doi.org/10.1007/978-3-642-03466-4 978-3-642-03465-7 ICTAC Lecture Notes in Computer Science Springer db/conf/ictac/ictac2009.html