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