Eudocia Emperatriz consorte de Teodosio II, Emperador de Oriente - Biografías - Obras anteriores a 1800