A.: Duality for Logics of Transition Systems (2005)

by M M Bonsangue, Kurz