J. H. Andersen and K. G. Larsen, “Compositional Safety Logics”, BRICS, vol. 4, no. 13, Jan. 1997.