MLA

Dardha, Ornela. Type Systems for Distributed Programs: Components and Sessions. Atlantis Press, 2016.

APA

Dardha, O. (2016). Type Systems for Distributed Programs: Components and Sessions. Atlantis Press.

Chicago

Dardha, Ornela Type Systems for Distributed Programs: Components and Sessions. : Atlantis Press, 2016.