Areces, C., Felder, M., Hirsch, D., Yankelevich, D., & (SIGSOFT), A. S. I. G. o. S. E. Modal logic as a design notation.
Cita Chicago Style (17a ed.)Areces, C., M. Felder, D. Hirsch, D. Yankelevich, y ACM Special Interest Group on Software Engineering (SIGSOFT). Modal Logic as a Design Notation.
Cita MLA (8a ed.)Areces, C., et al. Modal Logic as a Design Notation.
Precaución: Estas citas no son 100% exactas.