SpringerLink (Online service) & Gurevich, Y. (2000). Abstract state machines: Theory and applications : international workshop, ASM 2000, Monte Verità, Switzerland, March 2000 : proceedings. Springer.
Chicago Style (17th ed.) CitationSpringerLink (Online service) and Yuri Gurevich. Abstract State Machines: Theory and Applications : International Workshop, ASM 2000, Monte Verità, Switzerland, March 2000 : Proceedings. Berlin ; New York: Springer, 2000.
MLA (9th ed.) CitationSpringerLink (Online service) and Yuri Gurevich. Abstract State Machines: Theory and Applications : International Workshop, ASM 2000, Monte Verità, Switzerland, March 2000 : Proceedings. Springer, 2000.
Warning: These citations may not always be 100% accurate.