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