@Book{		  abelson-sussman:structure,
  author	= {Harold Abelson and Gerald Jay Sussman and Julie Sussman},
  title		= {The Structure and Interpretation of Computer Programs, 2nd
		  edition},
  year		= {1996},
  publisher	= {MIT Press},
  address	= {Cambridge, Massachusetts}
}

@InProceedings{	  odersky-et-al:fool10,
  author	= {Martin Odersky and Vincent Cremet and Christine R\"ockl
		  and Matthias Zenger},
  title		= {A Nominal Theory of Objects with Dependent Types},
  booktitle	= {Proc. FOOL 10},
  year		= 2003,
  month		= jan,
  note		= {\verb@http://www.cis.upenn.edu/~bcpierce/FOOL/FOOL10.html@}
		  
}