Some fundamental algebraic tools for the semantics of computation, part 3: Indexed categories (1991)

by Andrzej Tarlecki, Rod Burstall, Joseph Goguen
Venue:Theoretical Computer Science