Andrea Maggiolo-Schettini Horst Wedde Józef Winkowski Modeling a Solution for a Control Problem in Distributed Systems by Restrictions. 61-83 1981 13 Theor. Comput. Sci. db/journals/tcs/tcs13.html#Maggiolo-SchettiniWW81 http://dx.doi.org/10.1016/0304-3975(81)90111-0