MLA

Krivine, and Jean-Bernard Stefani. Reversible Computation. Springer International Publishing, 2015.

APA

Krivine, K., & Stefani, J. (2015). Reversible Computation. Springer International Publishing.

Chicago

Krivine, and Jean-Bernard Stefani. Reversible Computation. : Springer International Publishing, 2015.