Key extensions of abstract data types, final algebras, and database semantics
Ehrich, H. -D.
Category Theory and Computer Programming, 1986, p.412-433
[Periódico revisado por pares]
Berlin, Heidelberg: Springer Berlin Heidelberg
Texto completo disponível