@MASTERSTHESIS{Fey2008diplom,
  author  = {Alexander Fey},
  title   = {Spezifikation und Überprüfung funktionaler Anforderungen in Web-Service-Choreographien},
  school  = {Universität Hamburg, Fachbereich Informatik},
  year    = {2008},
  type    = {Diplomarbeit},
  address = {Vogt-Kölln-Str. 30, 22527 Hamburg, Germany},
  month   = {10}
}