Catherine Oriat. Modular specifications: constructions with finite colimits, diagrams, isomorphisms. RR 964-I-LSR-3, Laboratoire LSR-IMAG, September 1996.
@TechReport{RA:Oriat96a,
Author = {Oriat, Catherine},
Title = {Modular specifications: constructions with finite colimits, diagrams, isomorphisms},
Institution = {964-I-LSR-3, Laboratoire LSR-IMAG},
Month = {September},
Year = {1996}
}
Get EndNote Reference (.ref)