See www.pitt.edu/~armin.