author = {N. Popov and T. Jebelean},
title = {{Using Computer Algebra Techniques for the Specification, Verification and Synthesis of Recursive Programs}},
language = {english},
journal = {Mathematics and Computers in Simulation},
volume = {79},
number = {8},
pages = {2293--2301},
publisher = {Elsevier},
isbn_issn = {ISSN: 0378-4754},
year = {2009},
month = {April},
refereed = {yes},
length = {12}