An algorithm for batch updates. - Robert C. Shock (ACM Conference on Computer Science, 1986)

Computing the Minimum Cover of Functional Dependencies. - Robert C. Shock (Inf. Process. Lett., 1986)

Fashioning conceptual constructs in Ada. - Robert C. Shock (TRI-Ada, 1990)

A classification scheme for software modules. - Robert C. Shock; Thomas C. Hartrum (J. Syst. Softw., 1998)