Universal Realization, Persistent Interconnection and Implementation of Abstract Modules (1982)

by Joseph Goguen, Jose Meseguer
Venue:Proceedings, 9th International Conference on Automata, Languages and Programming