Michio Honda Tatsuya Hagino Etsuya Shibayama 99-108 1983 conf/iota/1983 The IOTA Programming System db/conf/iota/iota1983.html#HondaHS83