MLA

Christiano Braga, Peter Csaba Ölveczky, and Peter Csaba Ölveczky. Formal Aspects of Component Software. Springer International Publishing, 2016.

APA

Christiano Braga, P. Csaba Ölveczky, & Ölveczky, P. Csaba. (2016). Formal Aspects of Component Software. Springer International Publishing.

Chicago

Christiano Braga, Peter Csaba Ölveczky, and Peter Csaba Ölveczky. Formal Aspects of Component Software. : Springer International Publishing, 2016.