"Dynamic Logic of Power and Immunity."

Huimin Dong, Olivier Roy (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics