@PhdThesis{wahlstedt:phd:2007,
  author = 	 {David Wahlstedt},
  title = 	 {Dependent Type Theory with Parameterized First-Order Data 
                  Types and Well-Founded Recursion},
  school = 	 {Chalmers University of Technology},
  note = {ISBN 978-91-7291-979-2},
  year = 	 {2007},
}