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