Indexed categories as a tool for the semantics of computation (1989)

by A Tarlecki, R Burstall, J Goguen