Update specification.asciidoc

Translate several parts.