كتاب صلاة المسافرين وقصرها
6  
The Book of Prayer - Travellers
(17)
Chapter: Night prayers and the number of rak`ah offered by the Prophet (saws) at night, and that Witr is one rak`ah, and a one-rak`ah prayer is correct
(17)
باب صَلاَةِ اللَّيْلِ وَعَدَدِ رَكَعَاتِ النَّبِيِّ صَلَّى اللَّهُ عَلَيْهِ وَسَلَّمَ فِي اللَّيْلِ وَأَنَّ الْوِتْرَ رَكْعَةٌ وَأَنَّ الرَّكْعَةَ صَلاَةٌ صَحِيحَةٌ
Sahih Muslim 738 e

It is reported on the authority of 'A'isha that the prayer of Allah's Messenger (ﷺ) in the night consisted of ten rak'ahs. He observed a Witr and two rak'ahs (of Sunan) of the dawn prayer, and thus the total comes to thirteen rak'ahs.

حَدَّثَنَا ابْنُ نُمَيْرٍ، حَدَّثَنَا أَبِي، حَدَّثَنَا حَنْظَلَةُ، عَنِ الْقَاسِمِ بْنِ مُحَمَّدٍ، قَالَ سَمِعْتُ عَائِشَةَ، تَقُولُ كَانَتْ صَلاَةُ رَسُولِ اللَّهِ صلى الله عليه وسلم مِنَ اللَّيْلِ عَشَرَ رَكَعَاتٍ وَيُوتِرُ بِسَجْدَةٍ وَيَرْكَعُ رَكْعَتَىِ الْفَجْرِ فَتِلْكَ ثَلاَثَ عَشْرَةَ رَكْعَةً ‏.‏
Reference : Sahih Muslim 738e
In-book reference : Book 6, Hadith 156
USC-MSA web (English) reference : Book 4, Hadith 1611
  (deprecated numbering scheme)