ku-simons:9780-39 ku-simons:9819