PACKAGE stack_of_integer IS PROCEDURE push (what : IN INTEGER); PROCEDURE pop (what : OUT INTEGER); END PACKAGE stack_of_integer;
[Berge93]
Copyright © 1993 by Kluwer Academic Publishers. Reprinted by permission.