Ilmu mendukun (Leiden : Bibliotheek der Rijksuniversiteit)