Formal Aspects of Component Software
  MLA
  José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue, et al. Formal Aspects of Component Software. Springer International Publishing, 2014.
  APA
  José Luiz Fiadeiro, J. Xue, Fiadeiro, J. Luiz, Liu, Z., & Xue, J. (2014). Formal Aspects of Component Software. Springer International Publishing.
  Chicago
  José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue, José Luiz Fiadeiro, Zhiming Liu, and Jinyun Xue. Formal Aspects of Component Software. : Springer International Publishing, 2014.