Lima, Asvald. 1983. “Uniqueness of Hahn-Banach Extensions and Liftings of Linear Dependences”. Mathematica Scandinavica 53 (December): 97-113. https://doi.org/10.7146/math.scand.a-12019.