Steffen, B.; Jay, C. B.; Mendler, M. Compositional Characterization of Observable Program Properties. DPB 1990, 19.