@misc{indiciae327ea3d95a1f,
  title = {From B Specifications to \$\textbackslash{}\{log\$\textbackslash{}\}\$ Forgrams},
  author = {Maximiliano Cristiá},
  year = {2024},
  url = {https://arxiv.org/abs/2407.03283},
  note = {Source identifier: 2407.03283}
}