Literate Programming in the Large [video]

The talk references the Axiom computer algebra system, in development since 1971: https://news.ycombinator.com/item?id=38950000