GCD(A,B) DO WHILE RETURN A IF THEN ELSE B=B-A X=A A=B B=X A!=B A<B Greatest Common Divisor Annotations may be placed next to any node.