Saturation and Irredundancy for Spin(8) - Michael Kapovich; Shrawan Kumar; John J. Millson (2006)