Errett Bishop put forth his programme of constructive mathematics in a 1967 book, Foundations of Constructive Analysis. A revised version, with Douglas Bridges, was published in 1985 as Constructive Analysis.