Combinatory reduction systems by Klop