The Behavior-Realization Adjunction and Generalized Homomorphic Relations (1994)

by Gary T Leavens, Don Pigozzi
Venue:Department of Computer Science, Iowa State University, TR