Computational Logic, Inc.
Ada Research
The technical reports associated with this work are now availables as
reports 112-114. .
http://dirleton.csres.utexas.edu/software/ada/index.html
This page is URL http://www.computationallogic.com/software/ada/index.html