A High Level Language-Based Computing Environment to Support Production and Execution of Reliable Programs.

Hideaki Tsubotani Noriaki Monden Minoru Tanaka Tadao Ichikawa A High Level Language-Based Computing Environment to Support Production and Execution of Reliable Programs. 134-146 1986 12 IEEE Trans. Software Eng. 1 db/journals/tse/tse12.html#TsubotaniMTI86