Formal Aspects of Component Software
  MLA
  Hutchison, David, et al. Formal Aspects of Component Software. Springer Berlin Heidelberg, 2012.
  APA
  Hutchison, D., Kanade, T., Kittler, J., & Lumpe, M. (2012). Formal Aspects of Component Software. Springer Berlin Heidelberg.
  Chicago
  Hutchison, David, Takeo Kanade, Josef Kittler, and Markus Lumpe. Formal Aspects of Component Software. : Springer Berlin Heidelberg, 2012.