Jan Willem Klop, Vincent van Oostrom, Femke van Raamsdonk. Combinatory Reduction Systems: Introduction and Survey. Theoretical Computer Science, 121(1&2):279-308, 1993.
@article{KlopOR93,
title = {Combinatory Reduction Systems: Introduction and Survey},
author = {Jan Willem Klop and Vincent van Oostrom and Femke van Raamsdonk},
year = {1993},
tags = {survey},
researchr = {https://researchr.org/publication/KlopOR93},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {121},
number = {1&2},
pages = {279-308},
}