Hritcu, Catalin International Max Planck Research School, MPI for Informatics, Max Planck Society;
http://scidok.sulb.uni-saarland.de/volltexte/2012/4800/ (Any fulltext)
http://scidok.sulb.uni-saarland.de/doku/lic_ohne_pod.php?la=de (Copyright transfer agreement)
Hritcu, C. (2012). Union, Intersection, and Refinement Types and Reasoning About Type Disjointness for Security Protocol Analysis. PhD Thesis, Universität des Saarlandes, Saarbrücken. doi:10.22028/D291-26373.