Akira Kanda: Data Types as Initial Algebras: A unification of Scottery and ADJery (Extended Abstract). FOCS 1978: 221-230