Joel I. Seiferas Robert McNaughton Regularity-Preserving Relations. 147-154 1976 2 Theor. Comput. Sci. 2 db/journals/tcs/tcs2.html#SeiferasM76