On the design and specification of message oriented programs Paulo R. F. CunhaCarlos J. LucenaT. S. E. Maibaum OriginalPaper Pages: 161 - 191
An interpreter for a nondeterministic language Jacques CohenRobert Stachel OriginalPaper Pages: 193 - 217
Two algorithms for constructing a Delaunay triangulation D. T. LeeB. J. Schachter OriginalPaper Pages: 219 - 242
A composite algorithm for strength reduction and code movement optimization D. M. DhamdhereJ. R. Isaac OriginalPaper Pages: 243 - 273