Felicja Okulicka On Priority in Cosy. 199-216 1990 74 Theor. Comput. Sci. 2 db/journals/tcs/tcs74.html#Okulicka90