Realization is Universal (1972)

by J A Goguen
Venue:in Theory of Computer Systems