Edwards, Harald M. Essays in Constructive Mathematics - New York Oxford Springer 2005 ISBN: 0-387-21978-1