APA (7th ed.) Citation

Bauer, A. (2006). First Steps in Synthetic Computability Theory. Electronic notes in theoretical computer science, 155, 5-31. https://doi.org/10.1016/j.entcs.2005.11.049

Chicago Style (17th ed.) Citation

Bauer, Andrej. "First Steps in Synthetic Computability Theory." Electronic Notes in Theoretical Computer Science 155 (2006): 5-31. https://doi.org/10.1016/j.entcs.2005.11.049.

MLA (9th ed.) Citation

Bauer, Andrej. "First Steps in Synthetic Computability Theory." Electronic Notes in Theoretical Computer Science, vol. 155, 2006, pp. 5-31, https://doi.org/10.1016/j.entcs.2005.11.049.