@misc{indiciae60254f6b62e0,
  title = {Abstract State Machines 1988-1998: Commented ASM Bibliography},
  author = {Egon Boerger and James K. Huggins},
  year = {1998},
  url = {https://arxiv.org/abs/cs/9811014},
  note = {Source identifier: cs/9811014}
}