Hans-Dieter Ehrich
H.-D. Ehrich.
On the theory of specification, implementation, and parametrization of abstract data types.
Journal of the ACM
, 29(1):206-227, January 1982.
Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database