All About Maunde - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic

Б3.1, Б3.2, Б3.5, В2.11.

Clavel M., Duran F., Eker S., Lincoln P., Marti-Oliet N., Meseguer J., Talcott C..

All About Maunde - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic-Berlin, Heidelberg.: Springer, 2007.-Vol. 4350.-797 p.-(Lecture Notes in Computer Science).
Bibliogr.: p.757-781