The completeness of the algebraic specification methods for computabledata types
DSpace/Manakin Repository
The completeness of the algebraic specification methods for computabledata types
Bergstra, J.A.; Tucker, J.V.
(1982) Information and Control, volume 54, issue 3, pp. 186 - 200
(Article)
Download/Full Text
Open Access version via Utrecht University Repository
ISSN: 0019-9958
Publisher: Academic Press Inc.
See
more statistics
about this item