Mechanizing structural induction. - Raymond Aubin (1976)

Strategies for Mechanizing Structural Induction. - Raymond Aubin (IJCAI, 1977)

Mechanizing Structural Induction Part I: Formal System. - Raymond Aubin (Theor. Comput. Sci., 1979)

Mechanizing Structural Induction Part II: Strategies. - Raymond Aubin (Theor. Comput. Sci., 1979)

Developments in the SL-10 Packet Switch: Resource, File, and Software Loading Management. - Raymond Aubin; Alexander D. Brown; Branislav Selic (IEEE Trans. Commun., 1982)

From Specifications to Test Cases: AI in Software Quality. - Daniel R. Zlatin; Raymond Aubin; Richard D. Peacocke (ICC, 1986)

Software indexing for reuse. - Steven D. Fraser; José M. Duran; Raymond Aubin (SMC, 1989)

Layer 1 virtual private networks: service concepts, architecture requirements, and related advances in standardization. - Tomonori Takeda; Ichiro Inoue; Raymond Aubin; Marco Carugi (IEEE Commun. Mag., 2004)