A practical example of the specification of abstract data types Frank W. Tompa OriginalPaper Pages: 205 - 224
Remarks on “A Synthesis of Several Sorting Algorithms” by John Darlington David R. Barstow OriginalPaper Pages: 225 - 227
Universal asynchronous iterative arrays of Mealy automata Hans Kleine BüningLutz Priese OriginalPaper Pages: 269 - 285