302 found
Location: http://www.cs.indiana.edu/~dyb/pubs/popl99.pdf