This seems to be a shorter version of the same author&#x27;s book from 1987, also available online<p><a href="http:&#x2F;&#x2F;research.microsoft.com&#x2F;en-us&#x2F;um&#x2F;people&#x2F;simonpj&#x2F;papers&#x2F;slpj-book-1987&#x2F;" rel="nofollow">http:&#x2F;&#x2F;research.microsoft.com&#x2F;en-us&#x2F;um&#x2F;people&#x2F;simonpj&#x2F;papers...</a><p>I haven&#x27;t read the tutorial, but the book is strongly recommended.