@incollection{RISC4342,
author = {N. Popov and T. Jebelean},
title = {{Sound and Complete Verification Condition Generator for Functional Recursive Programs.}},
booktitle = {{Numerical and Symbolic Scientific Computing: Progress and Prospects}},
language = {english},
pages = {219--256},
publisher = {Springer},
address = {Wien},
isbn_issn = {ISBN 978-3-7091-0793-5},
year = {2011},
editor = {U. Langer and P. Paule},
refereed = {yes},
length = {38}
}