The inescapable stack: an exercise in algebraic specification with total functions

DSpace/Manakin Repository

The inescapable stack: an exercise in algebraic specification with total functions
 
Bergstra, J.A.; Tucker, J.V.
(1988) Reports of the Programming Research Group, University of Amsterdam, volume P8804, pp. 0 - 38
(Article)
Download/Full Text
Open Access version via Utrecht University Repository
 
Publisher: Programming Research Group, University of Amsterdam
 
 
See more statistics about this item