José Luiz Fiadeiro T. S. E. Maibaum Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects. 48-66 1994 conf/ictl/1994 ICTL db/conf/ictl/ictl1994.html#FiadeiroM94