The ABS Programming Language