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