@PhdThesis{HenzDiss:97,
  author =       {Martin Henz},
  title =        {Objects in {Oz}},
  school =       {Universit\"at des Saarlandes, Fachbereich Informatik},
  year =         {1997},
  address =      {Saarbr\"ucken, Germany},
  month =        jun
}