A Computing System to Support Development of Reliable Software. - Hideaki Tsubotani; Noriaki Monden; Minoru Tanaka; Tadao Ichikawa (Symposium on Reliability in Distributed Software and Database Systems, 1984)

A High Level Language-Based Computing Environment to Support Production and Execution of Reliable Programs. - Hideaki Tsubotani; Noriaki Monden; Minoru Tanaka; Tadao Ichikawa (IEEE Trans. Software Eng., 1986)