https://neerlandistiek.nl/2017/09/in-memoriam-peter-king-1922-2017/
In memoriam Peter King (1922-2017)