Compositions of programs that induce special monotonic functions
Programs are studied in which a request for the necessary data is the only means for interacting which source data. It is shown that this class of programs is quite extensive. The special classes of monotonic functions induced by these programs are isolated and closure of these classes is the basic means for constructing Pascal-like programming languages.
scientific article; zbMATH DE number 4009799