Reduction of Water Demand in Cooling Towers Dr Paul Hirst.
Computationally Sound Symbolic Protocol Analysis: Correspondence Theorems 18739A: Foundations of Security and Privacy Anupam Datta CMU Fall 2007-08.
Computationally Sound Symbolic Protocol Analysis: Correspondence Theorems