Hans-Dieter Burkhard An Investigation of Controls for Concurrent Systems by Abstract Control Languages. 223-231 1984 conf/mfcs/1984 MFCS db/conf/mfcs/mfcs84.html#Burkhard84 http://dx.doi.org/10.1007/BFb0030302