Lima, A. (1983) “Uniqueness of Hahn-Banach extensions and liftings of linear dependences”., Mathematica Scandinavica, 53, pp. 97–113. doi:10.7146/math.scand.a-12019.