MLA

Agha, Gul, et al. Formal Modeling: Actors, Open Systems, Biological Systems. Springer Berlin Heidelberg, 2011.

APA

Agha, G., Danvy, O., Kanade, T., & Meseguer, J. (2011). Formal Modeling: Actors, Open Systems, Biological Systems. Springer Berlin Heidelberg.

Chicago

Agha, Gul, Olivier Danvy, Takeo Kanade, and José Meseguer. Formal Modeling: Actors, Open Systems, Biological Systems. : Springer Berlin Heidelberg, 2011.