C. Farshid Nourani
C. Farshid Nourani.
Abstract implementations and their correctness proofs.
Journal of the ACM
, 30(2):343-359, April 1983.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database