Seymour Ginsburg Chang-jie Tang Cohesion of Object Histories. 63-90 1989 63 Theor. Comput. Sci. 1 db/journals/tcs/tcs63.html#GinsburgT89