@article{MCDB03STTT,
        author = "C. Mu{\~n}oz and V. Carre{\~n}o and  G. Dowek and R.W. Butler",
        title = "Formal verification of conflict detection algorithms",
        journal = "International Journal on Software Tools for Technology 
                   Transfer",
        volume = "4",
        number = "3",
        pages = "371--380",
        year = "2003"
}