Becher, V. A. Binary Functions for Theory. EJS 2000, 3.