DMCA

Another Formal Specification Language (2000)

by Erik Saaman