Algorithmically definable functions (A contribution towards the semantics of programming languages)
CONTENTSList of the mostly used symbols................................................................................ 61. Introduction and summary...................................................................................... 72. Basic language......................................................................................................... 103. Semantics of the basic language......................................................................... 114. Flow-algorithms...........................................................................................................