Cita APA (7a ed.)

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

Cita Chicago Style (17a ed.)

Frias, M.F, C.G López Pombo, G.A Baum, N.M Aguirre, y T.S.E Maibaum. Reasoning About Static and Dynamic Properties in Alloy: A Purely Relational Approach.

Cita MLA (8a ed.)

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