APA Style
Lanese, I., Madelaine, E.
(2015).
Formal Aspects of Component Software
.
Cham:
Springer.
MLA Style
Lanese, Ivan., Madelaine, Eric.
"Formal Aspects of Component Software".
Cham:
Springer,
2015.
Text.