二木厚吉先生が、日本ソフトウェア科学会の1996年の会誌に寄稿された代数モデルの解説記事、CiNii のサイトで PDF が公開されてますな： 　http://ci.nii.ac.jp/naid/110003743901 日本ソフトウェア科学会の会誌のアーカイブは、同会のサイトからも辿れる： 　http://www.jssst.or.jp/edit/detail/archive.html