Robert L. Constable, Paul B. Jackson, Pavel Naumov, Juan C. Uribe. Constructively formalizing automata theory. In Gordon D. Plotkin, Colin Stirling, Mads Tofte, editors, Proof, Language, and Interaction, Essays in Honour of Robin Milner. pages 213-238, The MIT Press, 2000.
Abstract is missing.