Rajeev Alur
David L. Dill
Theoretical Computer Science
A web-based tool for analysing normative documents in english