Murali Kaundinya, Ali Syed. Modeling event driven applications with a specification language (MEDASL). In John M. Vlissides, Douglas C. Schmidt, editors, Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada. pages 11-12, ACM, 2004. [doi]
Abstract is missing.