A Mathematical Approach to Language Design. - George T. Ligler (POPL, 1975)

Proof Rules, Mathematical Semantics, and Programming Language Design. - George T. Ligler (1975)

SIGACT (Paper Session). - George T. Ligler; William C. Nylin Jr.; Patrick Wang; Patrick C. Fischer; Robert L. Probert (ACM Annual Conference, 1976)

The assignment axiom and programming language design. - George T. Ligler (ACM Annual Conference, 1976)

An approach to software testing: methodology and tools. - Roger R. Bate; George T. Ligler (COMPSAC, 1978)