Jules Desharnais, Ali Mili, Thanh Tung Nguyen. Refinement and Demonic Semantics. In Chris Brink, Wolfram Kahl, Gunther Schmidt 0001, editors, Relational Methods in Computer Science. Advances in computing science, pages 166-183, Springer, 1997. [doi]
Abstract is missing.