Рекурсия: сортировка массива "пузырьком"

procedure QuickSort(l, r: longint);
var
   i, j: longint;
   m, tmp: byte;
begin
     m:= a[(r-l) div 2 +l];
     i:= l;
     j:= r;
     while(i<=j) do
     begin
          while (a[i]>m) and (i<=r) do i:= i+1;
          while (a[j]<m) and (j>=l) do j:= j-1;
          if (i<=j) then
          begin
               tmp:= a[i];
               a[i]:= a[j];
               a[j]:= tmp;
               i:= i+1;
               j:= j-1;
          end;
     end;
     if (j>l) then
        QuickSort(l, j);
     if (l<r) then
        QuickSort (i,r);
end;

uses crt;
function Umnz(a,b:integer):integer;
begin
if b<0 then Umnz:=-Umnz(a,-b)
else if b=0 then Umnz:=0
else Umnz:=a+Umnz(a,b-1);
end;
var a,b:integer;
begin
clrscr;
write('a=');readln(a);
write('b=');readln(b);
write(Umnz(a,b));
readln
end.

uses crt;
const nmax=100;
type tab=array[1..nmax] of integer;
Procedure Bubble_sort (var t : TAB; n : integer);
Var i, aux : integer;  
 Function Sort (t : TAB; n : integer) : Boolean;
 Var ok : boolean; i : integer;
 Begin
 ok := true; i := 1;
 Repeat
  If t[i + 1] < t[i] Then ok := false
  Else i := i + 1;
 Until ((Not ok) or (i >= n));
 Sort := ok;
 End;
Begin
If Not Sort(t, n) Then
 Begin
  For i := 1 To n - 1 Do
  If t[i] > t[i + 1] Then
   Begin
     aux := t[i];
     t[i] := t[i + 1];
     t[i + 1] := aux;
   End;
  Bubble_sort (t, n);
 End;
End;
var a:tab;
    n,i:byte;
begin
clrscr;
randomize;
repeat
write('Размер массива до ',nmax,' n=');
readln(n);
until n in [1..nmax];
writeln('Массив:');
for i:=1 to n do
 begin
  a[i]:=random(50);
  write(a[i]:4);
 end;
writeln;
writeln;
Bubble_sort(a,n);
writeln('Сортировка:');
for i:=1 to n do
write(a[i]:4);
readln
end.