See the LtU post [1] for the paper backing this project.

[1] http://lambda-the-ultimate.org/node/5237