Using the algebraic specification method, formally specify an array of

generic type elem.

Assume that array supports the following operations:

create: takes the array bounds as parameters and initializes the

values of the array to undefined.

eval: reveals the value of a specified element.

first: returns the first bound of the array.

last: returns the last bound of the array.