1998年 Program transformation in calculational form ACM Computing Surveys Akihiko Takano, Zhenjiang Hu, Masato Takeichi 巻 30 号 3es リンク情報 URLhttp://portal.acm.org/citation.cfm?doid=289121.289128 エクスポート BibTeX RIS