Brendan P. Mahony Jin Song Dong Overview of the Semantics of TCOZ. 66-85 1999 conf/ifm/1999 IFM db/conf/ifm/ifm1999.html#MahonyD99