1. Validation, verification and testing of computer software;Adrion;ACM Computing Surveys,1982
2. A verifiable, autonomous satellite control system;Andert,1989
3. Expert system for performance analysis;Andert,1990
4. ACM forum, editorial on program verification;Ardis;Communications of the ACM,1989