The latex source for the the original 10-page extended abstract in the LICS'03 proceedings is not available.
Here
is the latex source for the 15-page version, the same thing with 5 pages of appendices added, containing the proofs.