The algebraic structure of interfaces. - D. Ll. L. Rees; Karen Stephenson; John V. Tucker (Sci. Comput. Program., 2003)