8

The LiterateProgramming Paradigm
– D Cordes, M Brown
 1991

9

An Interactive Environment for Literate Programming
– M Brown, B Childs
 1990

50

Using types as search keys in function libraries
– M Rittri
 1989

680

Hypertext: An introduction and survey
– J Conklin
 1987

1565

The Definition of Standard ML
– Robin Milner, Mads Tofte
 1990

16

An adaptive program editor
– J Welsh, G A Rose, M Lloyd
 1986

25

METAFONT the Program
– Donald E Knuth
 1986

5242

Design Patterns: Elements of Reusable ObjectOriented Software
– E Gamma, R Helm, R Johnson, J Vlissides
 1994

229

Structured Programming
– O J Dahl, E W Dijkstra, C A R Hoare

262

Program Development by Stepwise Refinement
– N Wirth
 1971

232

A rational design process: How and why to fake it
– D L Parnas, P C Clements
 1986

7

An annotated bibliography of literate programming
– L M C Smith, M H Samadzadeh
 1991

29

The CWEB System of Structured Documentation, Version 3.0
– Donald E Knuth, Silvio Levy
 1993

2

DAGWOOD: A system for manipulati ing polynomials given by straightline programs
– T S Freeman, G Imirzian, E Kaltofen, Lakshman Yagati
 1986

2

von zur, "Parallel arithmetic computation: A survey
– J Gathen
 1986

2

von zur and Kaltofen, E., "Factoring sparse multivariate polynomials
– J Gathen
 1985

2

A note on polynomials with symmetric galois group which are easy to compute," Theor
– J Heintz
 1986

2

von zur, “Parallel arithmetic computation: A survey
– J Gathen
 1986

2

A primer: 11 keys tonew SCRATCHPAD
– R D Jenks
 1984
