@workingPaper{MelisSengler_1997,
title={Analogical transfer of verification proofs for state-based specifications},
author={Melis, Erica and Sengler, Claus},
doi={http://dx.doi.org/10.22028/D291-24938},
year={1997}
}