See http://www.cise.ufl.edu/~davis/cot4501fa12.html.