Edward P. Stabler

, 1987, 'Kripke on functionalism and automata', Synthese 70 (1), 1-22.