@inproceedings{Doh95,
  title = {Action Transformation by Partial Evaluation},
  author = {Kyung-Goo Doh},
  year = {1995},
  tags = {partial evaluation, transformation},
  researchr = {https://researchr.org/publication/Doh95},
  cites = {0},
  citedby = {0},
  pages = {230-240},
  booktitle = {PEPM},
}