@InCollection{ inc:Aderhold2010a, author = {Markus Aderhold}, title = {Second-Order Programs with Preconditions}, booktitle = {Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday}, publisher = {Springer}, year = 2010, series = {LNAI}, volume = 6463, pages = {129--143}, pdf = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2010/Preconditions2ndOrderProg-2010.pdf} }