@phdthesis{penn_00.1,
  author	= {Penn, Gerald},
  title		= {The Algebraic Structure of Attributed Type Signatures},
  school	= {School of Computer Science, Carnegie Mellon University},
  type		= {Ph.D. thesis},
  year		= {2000},
  URL		= {http://www.sfs.uni-tuebingen.de/hpsg/archive/bibliography/papers/penn_thesis.ps},
  urlzip	= {http://www.sfs.uni-tuebingen.de/hpsg/archive/bibliography/papers/penn_thesis.ps.gz},
  homepage	= {http://www.cs.toronto.edu/~gpenn/index.html}
}