APA (7th ed.) Citation

Clavel, M. (2007). All about Maude-- a high-performance logical framework: How to specify, program and verify systems in rewriting logic. Springer.

Chicago Style (17th ed.) Citation

Clavel, Manuel. All About Maude-- a High-performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic. Berlin ; New York: Springer, 2007.

MLA (9th ed.) Citation

Clavel, Manuel. All About Maude-- a High-performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic. Springer, 2007.