Theodosius Magnus, Imperator - Teodosio II, Emperador de Roma 401-450 (Patrologia hispana PP. Saeculi IV (Apud Viduam et Filios J. Subirana), 1881)