Some Techniques for Microprogram Validation. - George B. Leeman Jr.; William C. Carter; Alexander Birman (IFIP Congress, 1974)

Some Problems in Certifying Microprograms. - George B. Leeman Jr. (IEEE Trans. Computers, 1975)

Automated proofs of microprogram correctness. - William H. Joyner Jr.; William C. Carter; George B. Leeman Jr. (MICRO, 1976)

A Program Development Tool. - Cyril N. Alberga; Allen L. Brown; George B. Leeman Jr.; Martin Mikelsons; Mark N. Wegman (IBM J. Res. Dev., 1984)

Concepts and Implications of Undo for Interactive Recovery. - Robert F. Gordon; George B. Leeman Jr.; Clayton H. Lewis (ACM Annual Conference, 1985)

A Formal Approach to Undo Operations in Programming Languages. - George B. Leeman Jr. (ACM Trans. Program. Lang. Syst., 1986)