Abstract State Machines 1988-1998: Commented ASM Bibliography
<|reference_start|>Abstract State Machines 1988-1998: Commented ASM Bibliography: An annotated bibliography of papers which deal with or use Abstract State Machines (ASMs), as of January 1998.<|reference_end|>
@article{boerger1998abstract,
    title={Abstract State Machines 1988-1998: Commented ASM Bibliography},
    author={Egon Boerger and James K. Huggins},
    journal={Formal Specification Column (H. Ehrig, ed.), EATCS Bulletin 64,
  February 1998, 105--127},
    year={1998},
    archivePrefix={arXiv},
    eprint={cs/9811014},
    primaryClass={cs.SE}
}