Cita APA (7a ed.)

Frias, M. F., Maibaum, T. S. E., Aguirre, N. M., Baum, G. A., & López Pombo, C. G. Reasoning about static and dynamic properties in Alloy: A purely relational approach.

Cita Chicago Style (17a ed.)

Frias, Marcelo F., Thomas S. E. Maibaum, Nazareno M. Aguirre, Gabriel Alfredo Baum, y Carlos G. López Pombo. Reasoning About Static and Dynamic Properties in Alloy: A Purely Relational Approach.

Cita MLA (9a ed.)

Frias, Marcelo F., et al. Reasoning About Static and Dynamic Properties in Alloy: A Purely Relational Approach.