Added section on rule syntax, and fixed the bibliography.