@MISC{ALueWS0102,
  author =       {Achim L"ucking},
  title =        {Java - Verifikation mit \emph{Isabelle}},
  publisher =    {Seminar ''Verifikation von Programmen'', RWTH Aachen},
  year =         {WS 2001/02},
  address =      {RWTH Aachen}
}