All About Maude - A High-Performance Logical Framework

MLA

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

APA

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

Chicago

Clavel, Manuel, Francisco Durán, Steven Eker, Takeo Kanade, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott, Josef Kittler, and Carolyn L Talcott. All About Maude - A High-Performance Logical Framework. : Springer Berlin Heidelberg, 2007.