Directory results for A Calculational Approach to Pr... to A Calculus of Trustworthy Ad H...