Abstract data and functors. - J. M. Foster; P. D. Foster (Strathclyde ALGOL 68 Conference, 1977)