A Program Verifier. - James C. King (IFIP Congress (1), 1971)

Proving Programs to be Correct. - James C. King (IEEE Trans. Computers, 1971)

An Interpretation-Oriented Theorem Prover over Integers. - James C. King; Robert W. Floyd (J. Comput. Syst. Sci., 1972)

Abstract machines and software design. - James C. King (SIGPLAN-SIGOPS Interface Meeting, 1973)

A New Approach to Program Testing. - James C. King (Programming Methodology, 1974)

On Generating Verification Conditions for Correctness Proofs. - James C. King (Fachtagung über Programmiersprachen, 1976)

Symbolic Execution and Program Testing. - James C. King (Commun. ACM, 1976)

An Introduction to Proving the Correctness of Programs. - Sidney L. Hantler; James C. King (ACM Comput. Surv., 1976)

Panel: limitations of language design for reliable software. - James C. King (ACM SIGSOFT Softw. Eng. Notes, 1977)

Prospects for Program Verification (Tutorial). - James C. King (ICSE, 1978)

Applications of Symbolic Execution to Program Testing. - John A. Darringer; James C. King (Computer, 1978)

Program Correctness: On Inductive Assertion Methods. - James C. King (IEEE Trans. Software Eng., 1980)

JANUS: An interactive system for document composition. - Donald D. Chamberlin; James C. King; Donald R. Slutz; Stephen Todd; Bradford W. Wade (SIGPLAN SIGOA Symposium on Text Manipulation, 1981)

Program reduction using symbolic execution. - James C. King (ACM SIGSOFT Softw. Eng. Notes, 1981)

JANUS: An Interactive Document Formatter Based on Declarative Tags. - Donald D. Chamberlin; Olivier P. Bertrand; Michael J. Goodfellow; James C. King; Donald R. Slutz; Stephen Todd; Bradford W. Wade (IBM Syst. J., 1982)

On the Desktop Color System Implied by the ICC Standard. - James C. King (CIC, 1998)

The Color Engineer. - James C. King (CIC, 2002)

A format design case study: PDF. - James C. King (Hypertext, 2004)