Kazuhide Sugawara, Hiroshi Kawaguchi, Teruyasu Nishizawa. E-correctness of a set of computation processes . In Edward K. Blum, Manfred Paul, Satoru Takasu, editors, Mathematical Studies of Information Processing, Proceedings of the International Conference, Kyoto, Japan, August 23-26, 1978. Volume 75 of Lecture Notes in Computer Science, pages 282-301, Springer, 1978.
Abstract is missing.