Tomasz Kowaltowski
Tomasz Kowaltowski.
Data structures and correctness of programs.
Journal of the ACM
, 26(2):283-301, April 1979.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database