APA Citation

Seisenberger, M., & Berger, U. (2010). Proofs, Programs, Processes. Lecture Notes In Computer Science, 6158, pp. 39-48. doi:10.1007/978-3-642-13962-8_5

Chicago Style Citation

Seisenberger, Monika, and Ulrich Berger. "Proofs, Programs, Processes." Lecture Notes In Computer Science 6158 (2010): 39-48.

MLA Citation

Seisenberger, Monika, and Ulrich Berger. "Proofs, Programs, Processes." Lecture Notes In Computer Science 6158 (2010): 39-48.

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