Penny Anderson

	2004
6		Penny Anderson, Frank Pfenning: Verifying Uniqueness in a Logical Framework. TPHOLs 2004: 18-33
	2000
5		Penny Anderson, David A. Basin: Program Development Schemata as Derived Rules. J. Symb. Comput. 30(1): 5-36 (2000)
	1998
4		Bill Marion, Keith Vander Linden, Roberta Evans Sabin, Judy Cushing, Penny Anderson: Integrating recent research results into undergraduate curricula (panel): initial steps. SIGCSE 1998: 378-379
	1995
3		Penny Anderson, David A. Basin: Deriving and Applying Logic Program Transformers. ASIAN 1995: 301-318
	1994
2		Penny Anderson: Representing Proof Transformations for Program Optimizations. CADE 1994: 575-589
1		Penny Anderson: Program Extraction in a Logical Framework Setting. LPAR 1994: 144-158

Coauthor Index

1	David A. Basin	[3] [5]
2	Judith Bayard Cushing (Judy Cushing)	[4]
3	Keith Vander Linden	[4]
4	Bill Marion	[4]
5	Frank Pfenning	[6]
6	Roberta Evans Sabin	[4]

Colors in the list of coauthors