The behavior-realization adjunction and generalized homomorphic relations (1997)

by G T Leavens, D Pigozzi
Venue:Theoretical Computer Science