APA (7th ed.) Citation

Borger, E., & Stark, R. F. (2003). Abstract state machines : a method for high-level system design and analysis / Egon Borger, Robert Stark: A method for high-level system design and analysis. Springer.

Chicago Style (17th ed.) Citation

Borger, E., and Robert F. Stark. Abstract State Machines : A Method for High-level System Design and Analysis / Egon Borger, Robert Stark: A Method for High-level System Design and Analysis. New York ; London: Springer, 2003.

MLA (9th ed.) Citation

Borger, E., and Robert F. Stark. Abstract State Machines : A Method for High-level System Design and Analysis / Egon Borger, Robert Stark: A Method for High-level System Design and Analysis. Springer, 2003.

Warning: These citations may not always be 100% accurate.