An extension library to the Eiffel ABEL library