For additional information, you can access websites for all the festivals at &lt;www.edinburghfestivals.co.uk&gt; (see tickets, page 127, for contact information for the various festivals).
You can look at the website for more festival information.