B. Steffen, C. B. Jay, og M. Mendler, “Compositional Characterization of Observable Program Properties”, DPB, bd. 19, nr. 328, aug. 1990.