Historia Regum Britanniae
The Welsh form of the name is "", first recorded in the 12th-century "Historia Regum Britanniae".