Reiji Nakajima. Language, Logical Foundation, Verification. In Reiji Nakajima, Taiichi Yuasa, editors, The IOTA Programming System, A Modular Programming Environment. Volume 160 of Lecture Notes in Computer Science, pages 4-29, Springer, 1983.
Abstract is missing.