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.