Completeness of the Bethe ansatz for the six and eight-vertex models - R. J. Baxter (2001)