Abstract Data Types and Software Validation.
The Selection of Optimal Tab Settings.
A Strategic Planning Methodology for the Computing Effort in Higher Education: An Empirical Evaluation.
An Example of Hierarchical Design and Proof.
Optimizing Decision Trees Through Heuristically Guided Search.
Detection of Logical Errors in Decition Table Programs.
A Linear Sieve Algorithm for Finding Prime Numbers.
Using Encryption for Authentication in Large Networks of Computers.
Reverse Path Forwarding of Broadcast Packets.