Börger, E., & Stark, R. (2003). Abstract State Machines: A Method for High-Level System Design and Analysis. Springer Berlin Heidelberg.
Chicago Style (17th ed.) CitationBörger, Egon, and Robert Stark. Abstract State Machines: A Method for High-Level System Design and Analysis. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003.
MLA (9th ed.) CitationBörger, Egon, and Robert Stark. Abstract State Machines: A Method for High-Level System Design and Analysis. Springer Berlin Heidelberg, 2003.
Warning: These citations may not always be 100% accurate.