A new approach to abstract data types, I Informal development
Feferman, SolomonVolume:
2
Language:
english
Journal:
Mathematical Structures in Computer Science
DOI:
10.1017/S0960129500001432
Date:
June, 1992
File:
PDF, 6.46 MB
english, 1992