The latex source for the the original 10-page extended abstract in the LICS'03 proceedings is not available.
<br><br>
<a href="mallnets-lics-with-proofs.tex">Here</a> is the latex source for the 15-page version, the same thing with 5 pages of appendices added, containing the proofs.