Documenting Abstract Class Definitions