On Flowchart Theories. I. The Deterministic Case

Gheorghe Stefanescu. On Flowchart Theories. I. The Deterministic Case. J. Comput. Syst. Sci., 35(2):163-191, 1987.

Abstract

Abstract is missing.