dr., overlijdensbericht NRC Handelsblad ; (17 jun. 1983), p. 10 of https://resolver.kb.nl/resolve?urn=KBNRC01:000027647:mpeg21:p010