كتاب صلاة المسافرين وقصرها
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 737 c

'A'isha reported that the Messenger of Allah (ﷺ) used to pray thirteen rak'ahs during the night including the two rak'ahs (Sunan) of the dawn prayer.

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