@inproceedings{clavel00principles,
    author = {M. Clavel, S. Eker, P. Lincoln and J. Meseguer},
    title = {Principles of Maude},
    booktitle = {Electronic Notes in Theoretical Computer Science},
    volume = {4},
    publisher = {Elsevier Science Publishers},
    editor = {J. Meseguer},
    year = {2000}
}