Αφηρημένος τύπος

{ Αρχικοποιείται η στοίβα }: procedure stackInitialize;
{ Το στοιχείο i εισάγεται στην κορυφή της στοίβας }: procedure stackPush(i : integer);
{ Το στοιχείο από την κορυφή της στοίβας αφαιρείται και επιστρέφεται }: function stackPop : integer;
{ Επιστρέφεται αληθές αν η στοίβα είναι κενή }: function stackIsEmpty : boolean;