Strong Categorical Datatypes II: A Term Logic for Categorical Programming. - J. Robin B. Cockett; Dwight Spencer (Theor. Comput. Sci., 1995)