John Loader: Second order and higher order universal decision elements in m-valued logic. Notre Dame J. Formal Log. 18(2): 313-317 (1977)