r̲e̲a̲l̲ p̲r̲o̲c̲e̲d̲u̲r̲e̲ FRESNELCOS(u);
   r̲e̲a̲l̲ u;
b̲e̲g̲i̲n̲
   i̲n̲t̲e̲g̲e̲r̲ N;
   r̲e̲a̲l̲ pi2, x, xsqr, term, frcoi, frcos;
   pi2 := 1·5707963;
   x := pi2 × (u⭡2);
   frcos := 1;
   xsqr := x⭡2;
   N := 3;
   term := -xsqr/2;
   frcoi := 1 + (term/5);
   Loop: i̲f̲ frcoi = frcos t̲h̲e̲n̲ go to exit;
   term := - term × xsqr/((2×N-2) × (2×N-3));
   frcos := frcoi;
   frcoi := frcos + term/(4×N - 3);
   N := N + 1;
   go to Loop;
   exit: FRESNELCOS := u × frcos
e̲n̲d̲ FRESNELCOS;