Semantics Sequential Parallel Programs, Best

Complexity of sequential and parallel numerical algorithms: [proceedings], J.F.

Computer aided design of plasticating screws: Programs in FORTRAN and BASIC, Nat

A Survey of Verification Techniques for Parallel Programs, Howard Barringer

Parallel Execution of Logic Programs, J.S. Conery

On the Construction of Programs: An Advanced Course, R. M. McKeag et A. M. Macna

Designing and Building Parallel Programs: Concepts and Tools for Parallel Softwa