http://web.cs.wpi.edu/~matt/courses/cs563/talks/smartin/int_design.html

This URL has not been tested yet.