"Adding modal operators to the action language A."

Aaron Hunter (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics