Cita APA

Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí Oliet, N., Meseguer, J., & Quesada Moreno, J. F. (2002). Maude: Specification and programming in rewriting logic.

Citación estilo Chicago

Clavel, M., F. Durán, S. Eker, P. Lincoln, N. Martí Oliet, J. Meseguer, y José Francisco Quesada Moreno. Maude: Specification and Programming in Rewriting Logic. 2002.

Cita MLA

Clavel, M., et al. Maude: Specification and Programming in Rewriting Logic. 2002.