Early experiences adopting Ada 95. - I Lee Patton II; William W. Pritchett IV (TRI-Ada, 1995)

An ASIS-Based Static Analysis Tool for High-Integrity Systems. - William W. Pritchett IV; John D. Riley (SIGAda, 1998)