Taiichi Yuasa Reiji Nakajima IOTA: A Modular Programming System. 179-187 1985 11 IEEE Trans. Software Eng. 2 db/journals/tse/tse11.html#YuasaN85