Six-Vertex Model with Domain Wall Boundary Conditions and One-Matrix Model - P. Zinn-Justin (Phys. Rev. E, 2000)