APA (7th ed.) Citation

Börger, E., & Stärk, R. F. (2003). Abstract state machines: A method for high-level system design and analysis. Springer.

Chicago Style (17th ed.) Citation

Börger, E., and Robert F. Stärk. Abstract State Machines: A Method for High-level System Design and Analysis. Berlin ; New York: Springer, 2003.

MLA (9th ed.) Citation

Börger, E., and Robert F. Stärk. Abstract State Machines: A Method for High-level System Design and Analysis. Springer, 2003.