@misc{indiciaeeb67e56b7164,
  title = {Introducing H, an institution-based formal specification and verification language},
  author = {Răzvan Diaconescu},
  year = {2019},
  url = {https://arxiv.org/abs/1908.09868},
  note = {Source identifier: 1908.09868}
}