%A Ichiji, Hiroshi
%T On Proving Equivalence of Programs in Page Description Languages
%J 情報処理学会研究報告. [プログラミング-言語基礎実践-]
%0 Journal Article
%@ 
%I Information Processing Society of Japan (IPSJ)
%D 1995
%8 1995-01-27
%V 95
%N 15
%P 1-10
%U http://ci.nii.ac.jp/naid/110002929567/en/
%R