Vittone, D. Lipschitz Surfaces, Perimeter and Trace Theorems for BV Functions in Carnot-Carathéodory Spaces. Annali Scienze 2012, 11, 939-998.