doc/source/specification.rst