Carlos Areces, Miguel Felder, Dan Hirsch, Daniel Yankelevich. Modal Logic as a Design Notation. In Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998, USA, April 16-18, 1998. pages 150-152, IEEE Computer Society, 1998. [doi]
Abstract is missing.