@article{Wang1988,
  author    = {{Shi Tie Wang}},
  title     = {{Some researches for transformation over recursive programs}},
  journal   = {{J. Xiamen University, Natural Science Ed. [Xiamen da xue xue bao. Zi ran ke xue ban]}},
  year      = {{1988}},
  volume    = {{27}},
  number    = {{1}},
  pages     = {{8--12}},
  note      = {{MR 89g:68057, Zbl. 0689.68010}},
}