KawamuraK88'

BibTeX

@inproceedings{DBLP:conf/fgcs/KawamuraK88,
  author    = {Tadashi Kawamura and
               Tadashi Kanamori},
  title     = {Preserving of Stronger Equivalence in Unfold/Fold Logic
               Program Transformation},
  booktitle = {FGCS},
  year      = {1988},
  pages     = {413-421},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}