Roolvink, Roelof (1918-1994 ; Indonesische taal- en letterkunde)