"A Modal Process Logic"

Kim Guldstrand Larsen, Bent Thomsen (1988)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics