A. Bijlsma Carel S. Scholten Point-free Substitution. 205-214 1996 27 Sci. Comput. Program. 2 db/journals/scp/scp27.html#BijlsmaS96