"Semantics of a Real-Time Language."

Valdis Berzins, Luqi (1988)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics