My Literate programming is currently limited to one major work:

• SAL: a Symbolic Analysis Language available in book form here.