"E-correctness" of a set of "computation processes". - Kazuhide Sugawara; Hiroshi Kawaguchi 003; Teruyasu Nishizawa (Mathematical Studies of Information Processing, 1978)