Formal Modeling: Actors, Open Systems, Biological Systems
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.