Corina Cîrstea On Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and Observability. 82-97 2002 conf/fossacs/2002 FoSSaCS http://link.springer.de/link/service/series/0558/bibs/2303/23030082.htm db/conf/fossacs/fossacs2002.html#Cirstea02