1. Balbes, R., Dwinger, P.: Distributive Lattices. University of Missouri Press, Columbia, Mo (1974)
2. Bezem, M., Coquand, T.: Automating coherent logic. In: Logic for Programming, Artificial Intelligence, and Reasoning. Proceedings of the 12th International Conference, LPAR 2005, Montego Bay, Jamaica, 2–6 Dec 2005. pp. 246–260. Springer, Berlin (2005)
3. Bishop, E., Bridges, D.: Constructive analysis. Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 279. Springer, Berlin (1985)
4. Bishop, E.: Foundations of Constructive Analysis. McGraw-Hill, New York (1967)
5. Borceux, F.: Handbook of Categorical Algebra, Encyclopedia of Mathematics and its Applications, vol. 3, no. 52. Cambridge University Press, Cambridge (1994). Categories of sheaves