The rational numbers as an abstract data type
Bergstra, J. A., Tucker, J. V.Volume:
54
Language:
english
Journal:
Journal of the ACM
DOI:
10.1145/1219092.1219095
Date:
April, 2007
File:
PDF, 161 KB
english, 2007