Tudor Jebelean, Nikolaj Popov,
"Using Computer Algebra Techniques for the Specification, Verification and Synthesis of Recursive Programs"
, in Mathematics and Computers in Simulation, Vol. 79, Nummer 8, Elsevier, Seite(n) 2293-2301, 4-2009, ISSN: 0378-4754
Original Titel:
Using Computer Algebra Techniques for the Specification, Verification and Synthesis of Recursive Programs