A Computing System to Support Development of Reliable Software.

Hideaki Tsubotani Noriaki Monden Minoru Tanaka Tadao Ichikawa A Computing System to Support Development of Reliable Software. 232-237 1984 Symposium on Reliability in Distributed Software and Database Systems db/conf/srds/srds84.html#TsubotaniMTI84