"Universal Realization, Persistent Interconnection and Implementation of ..."

Joseph A. Goguen, José Meseguer (1982)
a service of Schloss Dagstuhl - Leibniz Center for Informatics