http://nixos.org/docs/papers.html