MLA

Bae, Peter Csaba Ölveczky, and Peter Csaba Ölveczky. Formal Aspects of Component Software. Springer International Publishing, 2018.

APA

Bae, B., Peter Csaba Ölveczky, P. Csaba Ölveczky, & Ölveczky, P. Csaba. (2018). Formal Aspects of Component Software. Springer International Publishing.

Chicago

Bae, Peter Csaba Ölveczky, and Peter Csaba Ölveczky. Formal Aspects of Component Software. : Springer International Publishing, 2018.