Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat,
"Synthesis of Some Algorithms for Trees: Experiments in Theorema"
, Serie RISC Report Series, Nummer 15-04, RISC, RISC Hagenberg, 2015
Original Titel:
Synthesis of Some Algorithms for Trees: Experiments in Theorema