@TechReport{LabethEA00,
  author =	 {Labeth, M. and Meyer, J. and M{\"u}ller, P. and Poetzsch-Heffter, A.},
  title =	 {Formal Verification of a Doubly Linked List
                  Implementation: A Case Study Using the {\sc Jive} System},
  institution =	 {Fernuniversit\"at Hagen},
  year =	 {2000},
url = {pm.inf.ethz.ch/publications},
  number =	 {270}
}