INIT()= s <- <> ;
push(x) = s <- <x : s > ;
pop() = s <- tl(s) ; 
top() = hd(s) ;