For more documentation and papers see: http://doc.cat-v.org/inferno/