Add documentation for dspec