"P. R. de Jong"