The link/reference [1] research.microsoft.com/~simonpj/papers/*stm*/*stm*.pdf certainly doesn't work for me (even truncating the glob's off the end).