On the algebra of order
A finite step-size procedure for the F-W method
On DIL schemes simulated by D0L schemes
Finding patterns common to a set of strings
An efficient PQ-graph algorithm for solving the graph-realization problem
A-transducers and the monotonicity of IL schemes
The equivalence of R.E. program schemes and data flow schemes
Context-free grammar forms with strict interpretations
Structure preserving reductions among convex optimization problems