A Banach space determined by the Weil height - Daniel Allcock; Jeffrey D. Vaaler (2008)