IMPLEMENTATION MODULE Math; (* ABS - returns the absolute value of an INTEGER. *) PROCEDURE ABS (i: INTEGER) : INTEGER ; BEGIN IF i<0 THEN RETURN -i ELSE RETURN i END END ABS ; END Math.