"On the Duality between Observability and Reachability."

Michel Bidoit, Rolf Hennicker, Alexander Kurz (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics