APA (7e ed.) Bronvermelding

Gurevich, Y., Kutter, P. W., Odersky, M., & Thiele, L. (2000). Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19 24, 2000 Proceedings. Springer-Verlag Berlin Heidelberg.

Chicago (17e ed.) Bronvermelding

Gurevich, Yuri, Philipp W. Kutter, Martin Odersky, en Lothar Thiele. Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19 24, 2000 Proceedings. Berlin: Springer-Verlag Berlin Heidelberg, 2000.

MLA (8e ed.) Bronvermelding

Gurevich, Yuri, et al. Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19 24, 2000 Proceedings. Springer-Verlag Berlin Heidelberg, 2000.