The mechanics of the counterpart relation - Zeevat, Henk (ILLC, 1994)