Representing Proof Transformations for Program Optimizations. - Penny Anderson (CADE, 1994)

Program Extraction in a Logical Framework Setting. - Penny Anderson (LPAR, 1994)

Deriving and Applying Logic Program Transformers. - Penny Anderson; David A. Basin (ASIAN, 1995)

Computer-mediated communication in collaborative educational settings (report of the ITiCSE 1997 working group on CMC in collaborative educational settings). - Ursula Wolz; Jacob Palme; Penny Anderson; Zhi Chen 031; James Dunne; Göran Karlsson; Atika Laribi; Sirkku Männikö; Robert Spielvogel; Henry M. Walker (ITiCSE-WGR, 1997)

Integrating recent research results into undergraduate curricula (panel): initial steps. - Bill Marion; Keith Vander Linden; Roberta Evans Sabin; Judy Cushing; Penny Anderson (SIGCSE, 1998)

Program Development Schemata as Derived Rules. - Penny Anderson; David A. Basin (J. Symb. Comput., 2000)

Verifying Uniqueness in a Logical Framework. - Penny Anderson; Frank Pfenning (TPHOLs, 2004)