TY  - RPRT
TI  - Abstract State Machines 1988-1998: Commented ASM Bibliography
AU  - Egon Boerger
AU  - James K. Huggins
PY  - 1998
UR  - https://arxiv.org/abs/cs/9811014
ID  - cs/9811014
ER  -