 The Random Walk Construction of Uniform Spanning Trees and Uniform Labelled Trees by David Aldous

Primary text: www.cs.cmu.edu/afs/cs/user/glmiller/public/Scientific-Computing/F-11/RelatedWork/AldousRandomTrees.pdf

Cited passage: Section1, equation1 and Proposition1: first-entrance edges give the uniform spanning-tree law. SIAM Journal on Discrete Mathematics3,450–465.