Guarded Command Language
a , b , x , y , u , v := A , B , 1 , 0 , 0 , 1 ; {\displaystyle a,b,x,y,u,v:=A,B,1,0,0,1;}
do {\displaystyle {\mbox{do}}} b ≠ 0 → {\displaystyle b\neq 0\rightarrow } q , r := a div b , a mod b ; {\displaystyle q,r:=a\ {\mbox{div}}\ b,a\ {\mbox{mod}}\ b;} a , b , x , y , u , v := b , r , u , v , x − q ∗ u , y − q ∗ v {\displaystyle a,b,x,y,u,v:=b,r,u,v,x-q*u,y-q*v}
od {\displaystyle {\mbox{od}}}
この繰り返しは b = 0 のとき終了し、その際に各変数は xa + yb = gcd(a,b) の解を格納している。