"Overview of the Semantics of TCOZ."

Brendan P. Mahony, Jin Song Dong (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics