Steffen, B., C. B. Jay, and M. Mendler. “Compositional Characterization of Observable Program Properties”. DAIMI Report Series, vol. 19, no. 328, Aug. 1990, doi:10.7146/dpb.v19i328.6718.