Citação norma APA

Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., & Talcott, C. (2020). All About Maude - A High-Performance Logical Framework. Springer Berlin Heidelberg.

Citação norma Chicago

Clavel, Manuel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, và Carolyn Talcott. All About Maude - A High-Performance Logical Framework. Springer Berlin Heidelberg, 2020.

Citação norma MLA

Clavel, Manuel, et al. All About Maude - A High-Performance Logical Framework. Springer Berlin Heidelberg, 2020.

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