@misc{indiciae61dc8cfd03bf,
  title = {SemHe: A Generalised Two-Level System},
  author = {George Anton Kiraz},
  year = {1996},
  url = {https://arxiv.org/abs/cmp-lg/9604012},
  note = {Source identifier: cmp-lg/9604012}
}