Citação norma APA

Meseguer Guaita, J., Palomino Tarjuelo, M., & Martí Oliet, N. (2003). Notes on Model Checking and Abstraction in Rewriting Logic.

Citação norma Chicago

Meseguer Guaita, José, Miguel Palomino Tarjuelo, e Narciso Martí Oliet. Notes On Model Checking and Abstraction in Rewriting Logic. 2003.

Citação norma MLA

Meseguer Guaita, José, Miguel Palomino Tarjuelo, e Narciso Martí Oliet. Notes On Model Checking and Abstraction in Rewriting Logic. 2003.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.