Language:
كتاب التهجد
19  
Prayer at Night (Tahajjud)
(10)
Chapter: How was the Salat of the Prophet (pbuh) and how many Rak'a he used to offer at night?
(10)
باب كَيْفَ كَانَ صَلاَةُ النَّبِيِّ صلى الله عليه وسلم وَكَمْ كَانَ النَّبِيُّ صَلَّى اللَّهُ عَلَيْهِ وَسَلَّمَ يُصَلِّي مِنَ اللَّيْلِ
Sahih al-Bukhari 1140

Narrated `Aisha:

The Prophet (p.b.u.h) used to offer thirteen rak`at of the night prayer and that included the witr and two rak`at (Sunna) of the Fajr prayer.

حَدَّثَنَا عُبَيْدُ اللَّهِ بْنُ مُوسَى، قَالَ أَخْبَرَنَا حَنْظَلَةُ، عَنِ الْقَاسِمِ بْنِ مُحَمَّدٍ، عَنْ عَائِشَةَ ـ رضى الله عنها ـ قَالَتْ كَانَ النَّبِيُّ صلى الله عليه وسلم يُصَلِّي مِنَ اللَّيْلِ ثَلاَثَ عَشْرَةَ رَكْعَةً مِنْهَا الْوِتْرُ وَرَكْعَتَا الْفَجْرِ‏.‏
Reference : Sahih al-Bukhari 1140
In-book reference : Book 19, Hadith 21
USC-MSA web (English) reference : Vol. 2, Book 21, Hadith 241
  (deprecated numbering scheme)