@article{IchijiHiroshi:1995-01-27,
author="Ichiji, Hiroshi",
title="On Proving Equivalence of Programs in Page Description Languages",
journal="情報処理学会研究報告. [プログラミング-言語基礎実践-]",
ISSN="",
publisher="Information Processing Society of Japan (IPSJ)",
year="1995",
month="jan",
volume="95",
number="15",
pages="1-10",
URL="http://ci.nii.ac.jp/naid/110002929567/en/",
DOI="",
}