Cardoso, M. A. (1997). Implementación de un model checker para lógicas modales en Haskell.
Cita Chicago Style (17a ed.)Cardoso, Marco A. Implementación De Un Model Checker Para Lógicas Modales En Haskell. 1997.
Cita MLA (8a ed.)Cardoso, Marco A. Implementación De Un Model Checker Para Lógicas Modales En Haskell. 1997.
Precaución: Estas citas no son 100% exactas.