S. Kamal Abdali. A Lambda-Calculus Model of Programming Languages - II. Jumps and Procedures. Computer Languages, Systems \& Structures, 1(4):303-320, 1976.
@article{Abdali76a, title = {A Lambda-Calculus Model of Programming Languages - II. Jumps and Procedures}, author = {S. Kamal Abdali}, year = {1976}, tags = {programming languages, modeling language, language modeling, programming}, researchr = {https://researchr.org/publication/Abdali76a}, cites = {0}, citedby = {0}, journal = {Computer Languages, Systems \& Structures}, volume = {1}, number = {4}, pages = {303-320}, }