《小石潭记》与《小石城山记》全称为什么

应该有八篇,称<永州八记>

《小石潭记》叫至小丘西小石潭记
《小石城山记》就叫小石城山记
分别是永州八记第四篇和第八篇
附：永州八记
始得西山宴游记
钴鉧潭记
钴鉧潭西小丘记
至小丘西小石潭记
袁家渴记
石渠记
石涧记
小石城山记