Here is the original 10-page extended abstract in the LICS'03 proceedings (with very minor corrections), ps format.

Here is the same thing with 5 pages of appendices added, containing all the proofs.