[1] E. Bishop, Foundations of Constructive Analysis, McGraw-Hill, New
York, 1967.
[2] D. S. Bridges and F. Richman, Varieties of Constructive
Mathematics, London Mathematical Society Lecture Notes 97, Cambridge
University Press, Cambridge, 1987.
[3] R. Mines, F. Richman and W. Ruitenburg, A Course of Constructive
Algebra, Springer, New York, 1988.
[4] D. A. Romano, On construction of maximal coequality relation and
its applications, In Proceedings of 8th international conference on
Logic and Computers Sciences LIRA 97, Novi Sad, September 1-4, 1997,
(Editors: R. Tošić and Z. Budimac), Institute of Mathematics, Novi
Sad (1997), 225-230.
[5] D. A. Romano, A note on quasi-antiorder in semigroup, Novi Sad J.
Math. 37(1) (2007), 3-8.
[6] D. A. Romano, On regular anticongruence in anti-ordered
semigroups, Publications de l\\\\\\\'Institut Mathmatique 81(95)
(2007), 95-102.
[7] D. A. Romano, A complete anti-order is the intersection of family
of all antiorders containing it, J. Pure and Appl. Math.: Adv. and
Appl. 1(2) (2009), 121-128.
[8] A. S. Troelstra and D. van Dalen, Constructivism in Mathematics,
An Introduction, North-Holland, Amsterdam, 1988.