We found a matchYour institution may have access to this item. Find your institution then sign in to continue.TitleThe rational numbers as an abstract data typeAuthorsBergstra, J. A.; Tucker, J. V.PublicationJournal of the ACM, 2007, Vol 54, Issue 2, p7ISSN0004-5411Publication typearticleDOI10.1145/1219092.1219095