J. Meseguer

Principles of Maude

M. Clavel, S. Eker, P. Lincoln, 1996, WRLA.

Metalevel computation in Maude

S. Eker, P. Lincoln, J. Meseguer, 1998, WRLA.

Security Policies and Security Models

J. Meseguer, J. A. Goguen, J. Goguen, 1982, 1982 IEEE Symposium on Security and Privacy.