著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI) "立木, 秀樹",不動点をめぐって:3. 情報工学に見られる不動点論の散策 3.3 プログラム理論と不動点 -表示的意味論における不動点の役割-,情報処理,04478053,東京 : 情報処理学会 ; 1960-,1992-04-15,33,4,p366-374,https://cir.nii.ac.jp/crid/1050282812853032576,