Ralph-Johan Back, Reino Kurki-Suonio. Superposition and fairness in reactive system refinement. In Joshua Maor, Abraham Peled, editors, Next Decade in Information Technology: Proceedings of the 5th Jerusalem Conference on Information Technology 1990, Jerusalem, October 22-25, 1990. pages 162-172, IEEE, 1990. [doi]
Abstract is missing.