@TechReport{Mohnen94,
  author =    "Markus Mohnen",
  title =     "Proving the {C}orrectness of the {S}tatic {L}ink {T}echnique {U}sing {E}volving {A}lgebras",
  institution = "RWTH Aachen",
  year =      "1994",
  number =    "AIB-21-1994",
  url =       "http://aib.informatik.rwth-aachen.de/1994/1994-21.ps.gz",
}