The inescapable stack: an exercise in algebraic specification with total functions / J.A. Bergstra, J.V. Tucker
mainEntity
The inescapable stack: an exercise in algebraic specification with total functions / J.A. Bergstra, J.V. Tucker
about
author
contributor
inLanguage
mainEntityOfPage
name
The inescapable stack: an exercise in algebraic specification with total functions
numberOfPages
publication
sameAs
label
The inescapable stack: an exer ...... s / J.A. Bergstra, J.V. Tucker