selected publications chapter Tower Induction and Up-to Techniques for CCS with Fixed Points. Lecture Notes in Computer Science. 274-289. 2017