Andersen, Jørgen H., and Kim G. Larsen. “Compositional Safety Logics”. BRICS Report Series 4, no. 13 (January 13, 1997). Accessed March 29, 2024. https://tidsskrift.dk/brics/article/view/18804.