Παραπομπή σε μορφή APA (7η εκδ.)

Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., & Talcott, C. (2007). All About Maude - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic. Springer Berlin Heidelberg.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Clavel, Manuel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, και Carolyn Talcott. All About Maude - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007.

Παραπομπή σε μορφή MLA (8th εκδ.)

Clavel, Manuel, et al. All About Maude - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic. Springer Berlin Heidelberg, 2007.