Compositional characterization of observable program properties B. Steffen; C. Barry Jay; M. Mendler — 1992 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications