AdaPower
Ada Tools and Resources

http://www.scism.sbu.ac.uk/law/lawhp.html