Algorithmic theory of stacks
Z Lem
This is a stub.
Consult the paper Grażyna Mirkowska, Andrzej Salwicki, Oskar Świda. Algorithmic Logic + SpecVer = the methodology for high integrity programming. „Fundamenta Informaticae”, s. 1-17, 2008.
