This struck me as interesting... http://highscalability.com/blog/2010/6/18/paper-the-declarative-imperative-experiences-and-conjectures.html
"The Declarative Imperative: Experiences and Conjectures in Distributed Logic" http://www.eecs.berkeley.edu/Pubs/TechRpts/2010/EECS-2010-90.pdf Tim.