@techreport{EDMS:1523877,
  author = {Darvas, D\'aniel and Blanco Vi{\~n}uela, Enrique and Istv\'an Majzik},
  title = {Syntax and Semantics of {PLCspecif}},
  institution = {{CERN}},
  year = {2015},
  type = {Report},
  number = {EDMS 1523877},
  url = {https://edms.cern.ch/document/1523877},
  bib-link = {CERN-EDMS-1523877.bib},
  mtmt = {2967179},
}