The Application of Prolog to Structured Design.
Automatic Synthesis of State Machines from Trace Diagrams.
Algorithm-oriented Generic Libraries.
Automatic Synthesis of State Machines from Trace Diagrams.
Corrections to "A New Data Structure for Cumulative Frequency Tables".