Johan van Benthem Time, logic and computation. 1-49 1988 conf/rex/1988 REX Workshop db/conf/rex/rex88.html#Benthem88 http://dx.doi.org/10.1007/BFb0013020