@inproceedings = { basin01versus,
    author = "David Basin and Grit Denker",
    title = "Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis",
    booktitle = "Electronic Notes in Theoretical Computer Science",
    volume = "36",
    publisher = "Elsevier Science Publishers",
    editor = "Kokichi Futatsugi",
    year = "2001"
}