Goldberg, M. (2001) “A General Schema for Constructing One-Point Bases in the Lambda Calculus”, BRICS Report Series, 8(35). doi: 10.7146/brics.v8i35.21695.