Triodic Logic and its Use in Structured Program

N. E. Goller. Triodic Logic and its Use in Structured Program. Comput. J., 25(2):218-226, 1982.

Abstract

Abstract is missing.