Hierarchical Binary Search.
The Structure Of Modular Programs.
Conversion of Decision Tables to Efficient Sequential Testing Procedures.
An Algorithmic Approach to the Conversion of Decision Grid Charts into Compressed Decision Tables.
Real-Time: The "Lost World" Of Software Debugging and Testing.