Henrik Grosskreutz Gerhard Lakemeyer ccGolog -- A Logical Language Dealing with Continuous Change. 179-221 2003 11 Logic Journal of the IGPL 2 http://www3.oup.co.uk/igpl/Volume_11/Issue_02/#Grosskreutz db/journals/igpl/igpl11.html#GrosskreutzL03