@misc{indiciaeb0d381c2eb11,
  title = {The Specification Language Server Protocol: A Proposal for Standardised LSP Extensions},
  author = {Jonas Kjær Rask and Frederik Palludan Madsen and Nick Battle and Hugo Daniel Macedo and Peter Gorm Larsen},
  year = {2021},
  doi = {10.4204/eptcs.338.3},
  url = {https://arxiv.org/abs/2108.02961},
  note = {Source identifier: 2108.02961}
}