update work on documenting specifications