Influence of deuterium and platinum on the thermal oxidation of GaAs