A full book on literate-programming