ku-simons:9780-54 ku-simons:9834