An abstract data type representing a stack has the following operations associated with it:

New: Bring a stack into existence.

Push: Add an element to the top of the stack.

Top: Evaluate the element on top of the stack.

Retract: Remove the top element from the stack and return the modified stack.

Empty: True if there are no elements on the stack.

Define this abstract data type using an algebraic specification.