@TechReport{DMchurchrosser_2000,
  author = 	 {F. Dur{'a}n and J. Meseguer},
  title = 	 {A {C}hurch-{R}osser Checker Tool for {M}aude Equational 
                  Specifications},
  institution =  {Universidad de M{\'a}laga and SRI International},
  year = 	 {2000},
  month = 	 {July},
}