Good, Donald I., Richard M. Cohen, and James Keeton-Williams. "Principles of Proving Concurrent Programs in Gypsy." The University of Texas at Austin, Department of Computer Sciences. AI Technical Report 79-15. January 1979. 25 pages.
Hare, Dwight Francis. "A Structure Program for the Gypsy Verification Environment." The University of Texas at Austin, Department of Computer Sciences. AI Technical Report 79-16. August 1979. 112 pages.
Young, William D., Anand R. Tripathi, Donald I. Good, and James C. Browne. "Evaluation of Verifiability in HAL/S." The University of Texas at Austin, Department of Computer Sciences. AI Technical Report 79-17. November 1979. 16 pages.
Questions to trcenter@cs.utexas.edu