n Tools such as javadoc generate sets of HTML documents containing specifications extracted from program source files.