@Misc{alti:esslli96,
  author =	 "Thorsten Altenkirch",
  title =	 "Integrated Verification in {Type} {Theory}",
  howpublished = "Lecture notes for a course at ESSLLI 96, Prague",
  note = "available from {\tt http://www.cs.nott.ac.uk/\~{}txa/publ/esslli96.pdf}",
  year =	 "1996",
}