Essays in constructive mathematics - Edward, HM (springer, 2005)