Title: A program analysis tool for evaluating the Ada compiler validation suite
First published: 1990