Reasoned Programming - Broda, Eisenbach, Khoshnevisan, Vickers