(6) The Book of Prayer - Travellers
كتاب صلاة المسافرين وقصرها
(26) Chapter: The prayer and the supplication of the Prophet (saws) at night
(26) باب الدُّعَاءِ فِي صَلاَةِ اللَّيْلِ وَقِيَامِهِ ‏
Sahih Muslim 764 

Abu Jamra reported:

I heard Ibn 'Abbas saying that the Messenger of Allah (ﷺ) observed thirteen rak'ahs at night.
حَدَّثَنَا أَبُو بَكْرِ بْنُ أَبِي شَيْبَةَ، حَدَّثَنَا غُنْدَرٌ، عَنْ شُعْبَةَ، ح وَحَدَّثَنَا ابْنُ الْمُثَنَّى، وَابْنُ، بَشَّارٍ قَالاَ حَدَّثَنَا مُحَمَّدُ بْنُ جَعْفَرٍ، حَدَّثَنَا شُعْبَةُ، عَنْ أَبِي جَمْرَةَ، قَالَ سَمِعْتُ ابْنَ عَبَّاسٍ، يَقُولُ كَانَ رَسُولُ اللَّهِ صلى الله عليه وسلم يُصَلِّي مِنَ اللَّيْلِ ثَلاَثَ عَشْرَةَ رَكْعَةً ‏.‏
Reference : Sahih Muslim 764
In-book reference : Book 6, Hadith 231
USC-MSA web (English) reference : Book 4, Hadith 1686
  (deprecated numbering scheme)