David Guaspari. Penelope, an Ada verification system. In John T. Foreman, Charles B. Engle Jr., editors, Proceedings of the Conference on Tri-Ada 1989 - Ada Technology in Context: Application, Development, and Deployment, TRI-Ada 1989, Pittsburgh, Pennsylvania, USA, 1989. pages 216-224, ACM, 1989. [doi]
Abstract is missing.