http://www.cs.utexas.edu/users/psp/newunity.html
These files are for uncommercial redistribution only. They may not be altered in any form without permission from the author.
Mail comments or questions to psp-request@cs.utexas.edu
The following four chapters are available:
The file SafetyProgress contains an unpublished journal article combining the safety and progress chapters, but omitting the exercises. This might be a good place to start reading about the revised UNITY theory.