"A Fully Abstract Model for Graph-Interpreted Temporal Logic."

Fabio Gadducci, Reiko Heckel, Manuel Koch (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics