Lançamentos por Smith, Michael D. (Carnegie Mellon University)