@article{AMLG_1962__6_137765,
     author = {Rolf Schock},
     title = {On the {Logic} of {Variable} {Binders.}},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {71--90},
     publisher = {mathdoc},
     volume = {6},
     year = {1962},
     zbl = {0121.01101},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1962__6_137765/}
}