Capretta, V., & Uustalu, T. (2016). A coalgebraic view of bar recursion and bar induction. Lecture Notes in Artificial Intelligence, 9634, 91-106. https://doi.org/10.1007/978-3-662-49630-5_6