Formal specification

[Google Scholar] [Wikipedia]

Notes:
Papers:

L3 specification language