The soundness proof can be downloaded or browsed. Here are some links to the type system and the soundness theorem.