Compositional characterization of observable program propertiesB. Steffen, C. Barry Jay and M. MendlerRAIRO-Theor. Inf. Appl., 26 5 (1992) 403-424DOI: https://doi.org/10.1051/ita/1992260504031
