Eelco Dolstra defended his PhD thesis on the purely functional deployment model. Distro NixOS Feeds item https://nixos.org/blog/announcements.html#phd-thesis-defended-2006