"A Basic Logic for Reasoning about Connector Reconfiguration."

Dave Clarke (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics