Experiences in ADA: Perspective problems and prospects for a potential primary language of instruction. - Don M. M. Booker; Barry Burd; Jerry Przybylski; Kevin Cogan; George F. Corliss; Carl Brandon; Don Yee; Phil Goldstein (SIGCSE, 1984)

Use of SPARK in a resource constrained embedded system. - Chad Loseby; Peter Chapin; Carl Brandon (SIGAda, 2009)

A SPARK/Ada CubeSat Control Program. - Carl Brandon; Peter Chapin (Ada-Europe, 2013)