Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Henry Cheng. Constructive mathematics and computer science. In John J. Donovan, Rosemary Shields, editors, Proceedings of the ACM annual conference, ACM 1972, 1972, Volume 2. pages 986-990, ACM, 1972. [doi]