北嶋暁,森岡澄夫,北道淳司,東野輝夫,谷口健一: ""代数的言語ASLによる回路設計支援システムにおけるAFL記述への詳細化とその変更およびそれらの正しさの検証"" 情報処理学会第49回全国大会(4L-07). Vol.6. 99-100 (1994)

Akira Kitajima、Sumio Morioka、Junji Kitamichi、Teruo Higashino、Kenichi Taniguchi：“使用代数语言 ASL 对电路设计支持系统中的 AFL 描述进行细化和修改，并验证其正确性”日本信息处理学会第 49 届全国大会（4L-07）。第6卷99-100（1994）。