Yuri Gurevich. The Sequential ASM Thesis. Bulletin of the EATCS, 67:93, 1999.
@article{Gurevich99, title = {The Sequential ASM Thesis}, author = {Yuri Gurevich}, year = {1999}, researchr = {https://researchr.org/publication/Gurevich99}, cites = {0}, citedby = {0}, journal = {Bulletin of the EATCS}, volume = {67}, pages = {93}, }