On regularity in software design

Banach, 1994, Regular relations and bicartesian squares, Theoret. Comput. Sci., 129, 187, 10.1016/0304-3975(94)90086-8 A. Carboni, G.M. Kelly and M.C. Pedicchio, Some remarks on Mal'cev and Goursat Categories, Sydney School of Mathematics and Statistics Report Vol. 93, Applied Categorical Structures, to appear. Goursat, 1889, Sur les Subsitutions Orthogonales, Ann. Sci. Éc. Norm. Sup., 3, 9, 10.24033/asens.317 Hayes, 1993 Hayes, 1989, Specifications are not (necessarily) executable, IEE Software Eng. J., 4, 320 Hayes, 1993, Refinement with input/output transformations, Working paper Jaoua, 1991, Regularity of relations: a measure of uniformity, Theoret. Comput. Sci., 79, 323, 10.1016/0304-3975(91)90335-Y Jones, 1990 Jones, 1990 Mal'cev, 1954, On the general theory of algebraic systems, Mat. Sbornik N. S., 35, 3 Mili, 1990 Mili, 1986, Specification methodology: an integrated relational approach, Software Practice Experience, 16, 1003, 10.1002/spe.4380161105 Parnas, 1992 Ross, 1992 Schmidt, 1993 Spivey, 1993 Suppes, 1960 1972 Tarski, 1941, On the calculus of relations, J. Symbolic Logic, 6, 73, 10.2307/2268577