2020, Part of book or chapter of book (Houdenhoven, M. van (ed.), Đatađilemma’s in de zorg: Op weg naar oplossingen in het belang van de patiënt, pp. 126-135)
2020, Part of book or chapter of book (Houdenhoven, M. van (ed.), Datadilemma's in de zorg : op weg naar oplossingen in het belang van de patiënt, pp. 56-67)
2020, Article in monograph or in proceedings (Petrisan, D.; Rot, J. (ed.), Coalgebraic Methods in Computer Science: 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020, Proceedings, pp. 90-111)
2019, Article in monograph or in proceedings (Bojanczyk, M. (ed.), Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, pp. 313-329)
2018, Article in monograph or in proceedings (Uustalu, T. (ed.), TYPES 2015: 21st International Conference on Types for Proofs and Programs, pp. 1:1-1:34)
2018, Article in monograph or in proceedings (Boer, F. de; Bonsangue, M.; Rutten, J. (ed.), It's All About Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, pp. 139-159)