APA (7th ed.) Citation

Capretta, V., & Uustalu, T. (2016). A coalgebraic view of bar recursion and bar induction. Springer.

Chicago Style (17th ed.) Citation

Capretta, Venanzio, and Tarmo Uustalu. A Coalgebraic View of Bar Recursion and Bar Induction. Springer, 2016.

MLA (9th ed.) Citation

Capretta, Venanzio, and Tarmo Uustalu. A Coalgebraic View of Bar Recursion and Bar Induction. Springer, 2016.