[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, 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, Some relations and subsets of semigroup with
apartness generated by the principal consistent subset, Publ.
Elektroteh. Fak. Ser. Math 13 (2002), 7-25.
[6] D. A. Romano, A note on a family of quasi-antiorder on semigroup,
Kragujevac J. Math. 27 (2005), 11-18.
[7] D. A. Romano, Construction of classes of the quasi-antiorder
relation generated by principal consistent subsets on semigroup with
apartness, Proceedings of 16th Conference on Applied Mathematics,
Budva, Monte Negro, May 31 - June 04, 2004, (Editors: N. Krejić and
Z. Lužanin), Department of Mathematics, University of Novi Sad, Novi
Sad (2006), 129-135.
[8] D. A. Romano, The second isomorphism theorem on ordered set under
antiorders, Kragujevac J. Math. 30 (2007), 235-242.
[9] D. A. Romano, A note on quasi-antiorder in semigroup, Novi Sad J.
Math. 37(1) (2007), 3-8.
[10] D. A. Romano, An isomorphism theorem for anti-ordered sets,
Filomat, 22(1) (2008), 145-160.
[11] A. S. Troelstra and D. van Dalen, Constructivism in Mathematics,
An Introduction, North-Holland, Amsterdam, 1988.