The Book of Prayer
Bulugh al-Maram #457
كتاب الصلاة
وَفِي رِوَايَةٍ لَهُمَا عَنْهَا: «كَانَ يُصَلِّي مِنْ اَللَّيْلِ عَشْرَ رَكَعَاتٍ, وَيُوتِرُ بِسَجْدَةٍ, وَيَرْكَعُ رَكْعَتَيْ اَلْفَجْرِ, فَتِلْكَ ثَلَاثُ عَشْرَةَ»
And in another narration of al-Bukhari and Muslim, narrated:
“He used to pray ten Rak'at (of prayer), and making it Witr by one Rak'at, and he used to pray the two (Sunnah) Rak'at of Fajr, so that it became thirteen Rak'at.”
وَفِي رِوَايَةٍ لَهُمَا عَنْهَا: "كَانَ يُصَلِّي مِنْ اَللَّيْلِ عَشْرَ رَكَعَاتٍ, وَيُوتِرُ بِسَجْدَةٍ, وَيَرْكَعُ رَكْعَتَيْ اَلْفَجْرِ, فَتِلْكَ ثَلَاثُ عَشْرَةَ"
"He used to pray ten Rak'at (of prayer), and making it Witr by one Rak'at, and he used to pray the two (Sunnah) Rak'at of Fajr, so that it became thirteen Rak'at."
— Bulugh al-Maram, Hadith 457