@MASTERSTHESIS{Lüdemann2007studien,
  author  = {Heiko Lüdemann},
  title   = {Elektronische Verträge: Eine exemplarische Verifikation eines generischen Vertragsmodells},
  school  = {Universität Hamburg, Fachbereich Informatik},
  year    = {2007},
  type    = {Studienarbeit},
  address = {Vogt-Kölln-Str. 30, 22527 Hamburg, Germany},
  month   = {3}
}