B. Steffen, C. B. Jay, and M. Mendler, “Compositional Characterization of Observable Program Properties”, DPB, vol. 19, no. 328, Aug. 1990.