On the duality between observability and reachability (2001)

by Michel Bidoit, Rolf Hennicker, Alexander Kurz
Venue:Proc. 4th Int. Conf. Foundations of Software Science and Computation Structures (FOSSACS’01