1. Ralph-Johan Back and Joakim Wright . 2012. Refinement calculus: a systematic introduction . Springer Science & Business Media . https://dl.acm.org/doi/10.5555/551462 Ralph-Johan Back and Joakim Wright. 2012. Refinement calculus: a systematic introduction. Springer Science & Business Media. https://dl.acm.org/doi/10.5555/551462
2. Dariusz Biernacki , Sergueï Lenglet , and Piotr Polesiuk . 2019. Bisimulations for delimited-control operators. Logical methods in computer science, 15 ( 2019 ). Dariusz Biernacki, Sergueï Lenglet, and Piotr Polesiuk. 2019. Bisimulations for delimited-control operators. Logical methods in computer science, 15 (2019).
3. Diacritical Companions
4. Dariusz Biernacki , Sergueï Lenglet , and Piotr Polesiuk . 2019. Proving soundness of extensional normal-form bisimilarities. Logical Methods in Computer Science, 15 ( 2019 ). Dariusz Biernacki, Sergueï Lenglet, and Piotr Polesiuk. 2019. Proving soundness of extensional normal-form bisimilarities. Logical Methods in Computer Science, 15 (2019).
5. Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq