Westover’s thesis https://www.cs.unc.edu/techreports/91-029.pdf