Journal of the ACM Bibliography

Jean-Claude Raoult and Jean Vuillemin. Operational and semantic equivalence between recursive programs. Journal of the ACM, 27(4):772-796, October 1980. [BibTeX entry]
Selected papers that cite this one


  • Journal of the ACM homepage
  • Bibliography top level
  • Journal of the ACM Author Index
  • Search the HBP database