Andrea Maggiolo-Schettini Horst Wedde Józef Winkowski Modelling a Solution for a Control Problem in Distributed Systems by Restrictions. 199-201 1979 Formale Modelle für Informationssysteme db/conf/mmb/mmb1979.html#Maggiolo-SchettiniWW79