J. H. Andersen og K. G. Larsen, “Compositional Safety Logics”, BRICS, bd. 4, nr. 13, jan. 1997.