RUFF , L.-I. 2008. GENERATION AND VERIFICATION OF SYSTOLIC ALGORITHMS. Presa Universitară Clujeană.