Enhancing SAMOS. - Gerald J. Giaccai; Kenneth Slonneger (ACM SIGCSE Bull., 1975)

A Complete Infinitary Logic. - Kenneth Slonneger (J. Symb. Log., 1976)

SAMOS in APL. - Kenneth Slonneger (ACM SIGAPL APL Quote Quad, 1976)

Computer attitudes. - Kenneth Slonneger (ACM SIGCSE Bull., 1976)

Pitfalls with procedure parameters. - Ken Slonneger (ACM SIGPLAN Notices, 1987)

An exercise in denotational semantics. - Ken Slonneger (SIGCSE, 1991)

Implementing Denotational Semantics with Logic Programming. - Ken Slonneger (ACM Conference on Computer Science, 1992)

Denotational Semantics of a Calculator. - Ken Slonneger (ACM Conference on Computer Science, 1993)

Executing Continuation Semantics. - Ken Slonneger (Softw. Pract. Exp., 1993)

Formal syntax and semantics of programming languages - a laboratory based approach. - Kenneth Slonneger; Barry L. Kurtz (Addison-Wesley, 1995)

Visualizing Action Semantics. - Ken Slonneger (ACM Conference on Computer Science, 1995)

Executing an SECD machine using logic programming. - Kenneth Slonneger (SIGCSE, 1995)