Symbolic approach and induction in the Heisenberg group - Jean-François Bertazzon (2011)