Specification Language

ADDISON-WESLEY

The Java Language Specification, Java SE 8 Edition (Java Series)

Manning Publications

Writing Great Specifications: Using Specification By Example and Gherkin

Teneues

Rolex. Extended edition: New, Extended Edition (Photographer)

Addison Wesley

The Java Language Specification                  

MIT Press

Mallgren: Formal Specification of Interactive Graphics Programming Languages

[(Understanding Z: A Specification Language and Its Formal Semantics)] [by: J.M. Spivey]

Forgotten Books

XML Modeling Language for Linear Programming: Specification and Examples (Classic Reprint)

Announcer Moderator Language Specification Manual (Voice)(Chinese Edition)

Springer

System Specification and Design Languages: Selected Contributions from FDL 2010: 106 (Lecture Notes in Electrical Engineering)

Springer

Larch: Languages and Tools for Formal Specification (Monographs in Computer Science)