An algebraic semantics of subobjects (1995)

by Daniel P Friedman
Venue:In Proc. of OOPSLA’95