Rewriting Logic and Maude: a Wide-Spectrum Semantic Framework for Object-Based Distributed Systems

@inproceedings{Meseguer2000RewritingLA,
  title={Rewriting Logic and Maude: a Wide-Spectrum Semantic Framework for Object-Based Distributed Systems},
  author={Jos{\'e} Meseguer},
  booktitle={FMOODS},
  year={2000}
}