Jean-Claude Raoult
Jean-Claude Raoult and Jean Vuillemin.
Operational and semantic equivalence between recursive programs.
Journal of the ACM
, 27(4):772-796, October 1980.
Citations.
Jean-Claude Raoult and Ravi Sethi.
Properties of a notation for combining functions.
Journal of the ACM
, 30(3):595-611, July 1983.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database