梦溪笔谈
The earliest mention of "rock oil" (石油), the Chinese name for petroleum, is by a book "Grand Peace Records" from the Northern Song Dynasty, and officially designated the current name by Song Dynasty polymath scientist Shen Kuo using the description found in his famous book "Dream Pool Essays".