Algorithmically definable functions (A contribution towards the semantics of programming languages)
Andrzej Blikle
GDML_Books, (1971), p.

CONTENTSList of the mostly used symbols................................................................................ 61. Introduction and summary...................................................................................... 72. Basic language......................................................................................................... 103. Semantics of the basic language......................................................................... 114. Flow-algorithms........................................................................................................ 125. Algorithmically definable functions....................................................................... 166. Operations on algorithms....................................................................................... 177. Normal models......................................................................................................... 238. Relations definable in normal models................................................................ 309. The main theorem on normal models................................................................. 3310. Canonical algorithms............................................................................................ 3711. The algebra of algorithms.................................................................................... 3912. An abstract programming language.................................................................. 4313. Final remarks and open problems..................................................................... 40Acknowledgements...................................................................................................... 51References.................................................................................................................... 52

EUDML-ID : urn:eudml:doc:268636
@book{bwmeta1.element.desklight-62a16de4-3e2f-479f-a7bf-2b2953dccc2c,
     author = {Andrzej Blikle},
     title = {Algorithmically definable functions (A contribution towards the semantics of programming languages)},
     series = {GDML\_Books},
     publisher = {Instytut Matematyczny Polskiej Akademi Nauk},
     address = {Warszawa},
     year = {1971},
     zbl = {0221.68045},
     language = {en},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.desklight-62a16de4-3e2f-479f-a7bf-2b2953dccc2c}
}
Andrzej Blikle. Algorithmically definable functions (A contribution towards the semantics of programming languages). GDML_Books (1971),  http://gdmltest.u-ga.fr/item/bwmeta1.element.desklight-62a16de4-3e2f-479f-a7bf-2b2953dccc2c/