Siklóssy, L. and Roach, John. 1975. “Model Verification and Improvement Using DISPROVER.”Artificial Intelligence 6(1): 41–52.
Simon, Herbert A. and Siklóssy, L., eds. 1972. Representation and Meaning: Experiments with Information Processing Systems. Englewood Cliffs, New Jersey: Prentice-Hall, Inc.