CORECTITUDINEA ALGORITMILOR de TUDOR BALANESCU , 1995