Martin W. Bunder: Significance and illative combinatory logics. Notre Dame J. Formal Log. 21(2): 380-384 (1980)