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