Specification documentation

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