Publications by the researcher in collaboration with Kris Baetens (1)