1. Regular relations and bicartesian squares;Banach;Theoret. Comput. Sci.,1994
2. On regularity in software design;Banach;Sci. Comput. Prog.,1995
3. R. Banach, Model based refinement and the design of retrenchments, submitted for publication.
4. R. Banach, C. Jeske, Retrenchment and refinement interworking: the tower theorems, submitted for publication.
5. R. Banach, C. Jeske, Simple feature engineering via retrenchment, submitted for publication.