Richard Banach On Regularity in Software Design. 221-248 1995 24 Sci. Comput. Program. 3 db/journals/scp/scp24.html#Banach95