@article{CTT100442396,
  author = {Takahiro Nakanishi and Motoshi Saeki},
  title = {Applying Multiple Program Graphs to Modify Specifications},
  journal = {IEICE Transactions on Information and Systems},
  year = 2000,
}

@inproceedings{CTT100443815,
  author = {Takahiro Nakanishi and Motoshi Saeki},
  title = {Using Multiple Graphs of Programs to Modify Specifications},
  booktitle = {Proc. of 6th Asia Pacific Software Engineering Conference (APSEC'99)},
  year = 1999,
}