The stone age of Indonesia (Martinus Nijhoff, 1972)