Tree Matching and Simplification.
The Suitability for Master/Slave Concurrency of Concurrent Euclid, Ada and Modula.
A Depth-first and Tool-supportable Programming Strategy.
A Structural Testing Method for JSP Designed Programs.
Debugging Programs that use Macro-Oriented Data Abstractions.