APA Citation

Berger, U., & Seisenberger, M. (2012). Proofs, Programs, Processes. Theory of Computing Systems, 51(3), pp. 313-329. doi:10.1007/s00224-011-9325-8

Chicago Style Citation

Berger, Ulrich, and Monika Seisenberger. "Proofs, Programs, Processes." Theory of Computing Systems 51, no. 3 (2012): 313-329.

MLA Citation

Berger, Ulrich, and Monika Seisenberger. "Proofs, Programs, Processes." Theory of Computing Systems 51.3 (2012): 313-329.

Warning: These citations may not always be 100% accurate.