Miguel Abdalla, Ferhat Khendek, Greg Butler. New results on deriving SDL specifications from MSCs. In Rachida Dssouli, Gregor von Bochmann, Yair Lahav, editors, SDL 99 The Next Millennium, 9th International SDL Forum, Montréal, Québec, Canada, 21-25 June, 1999, Proceedings. pages 51-66, Elsevier, 1999.
Abstract is missing.