1. The Design and Analysis of Computer Algorithms;Aho,1976
2. Methodology and Tools for Qualitative Protocol Validation;Billiard,1983
3. A Survey of Formal Methods;Bochmann,1983
4. Testing Software Design modeled by Finite-State Machines;Chow;IEEE Transactions on Software Engineering,1978
5. Fault Detection in Digital Circuits;Friedman,1971