1. Architecture independent massive parallelization of divide-and-conquer algorithms;Achatz,1995
2. Can programming be liberated from the von Neumann style?;Backus;Commun. ACM,1978
3. Deriving associative operators for language recognition;Barnard;Bull. EATCS,1991
4. Programming pearls;Bentley;Commun. ACM,1984
5. Lectures on constructive functional programming;Bird,1988