@Book{Hea56,
    Author       = "Heath, T.",
    Year         = "1956",
    Title        = "{The Thirteen Books of Euclid's Elements}",
    Publisher    = "Dover Publications",
    Comment      = "TPTPRef"
}