More on Johan van Bentham and his research on his webpage: https://staff.science.uva.nl/j.vanbenthem/
