Combinatory Abstraction Bsing B, B' and Friends. - P. Trigg; J. Roger Hindley; Martin W. Bunder (Theor. Comput. Sci., 1994)