@Inproceedings{EPTCS216.8, author = {Nepeivoda, Antonina}, year = {2016}, title = {Turchin's Relation for Call-by-Name Computations: A Formal Approach}, editor = {Hamilton, Geoff and Lisitsa, Alexei and Nemytykh, Andrei P.}, booktitle = {{\rm Proceedings of the Fourth International Workshop on} Verification and Program Transformation, {\rm Eindhoven, The Netherlands, 2nd April 2016}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {216}, publisher = {Open Publishing Association}, pages = {137-159}, doi = {10.4204/EPTCS.216.8}, }