"A Lambda-Calculus Model of Programming Languages, II: Jumps and Procedures, J. Computer Languages, Vol. 1 (1976)" - читать интересную книгу автора (Kamal Abdali)