MLA

Lanese, and Eric Madelaine. Formal Aspects of Component Software. Springer International Publishing, 2015.

APA

Lanese, L., & Madelaine, E. (2015). Formal Aspects of Component Software. Springer International Publishing.

Chicago

Lanese, and Eric Madelaine. Formal Aspects of Component Software. : Springer International Publishing, 2015.