Theme-Based Literate Programming. - Andreas Kacofegitis; Neville Churcher (APSEC, 2002)