Helmuth Partsch An Exercise in the Transformational Derivation of an Efficient Program by Joing Development of Control and Data Structure. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1983, v:3, n:1, pp:1-35 [Journal]
Paul Pritchard A Case Study of Number-Theoretic Computation: Searching for Primes in Arithmetical Progression. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1983, v:3, n:1, pp:37-63 [Journal]