Steffen, Bernhard, C. Barry Jay, and Michael Mendler. “Compositional Characterization of Observable Program Properties”. DAIMI Report Series 19, no. 328 (August 1, 1990). Accessed May 9, 2024. https://tidsskrift.dk/daimipb/article/view/6718.