AdaPower
Ada Tools and Resources
http://www.cmis.brighton.ac.uk/staff/je/jewl/