Horn G. Characterization of the predual and ideal structure of a JBW*-triple. Math. Scand. 1987;61:117-133. doi:10.7146/math.scand.a-12194