Arkadij Zakrevskij The Analysis of Concurrent Logic Control Algorithms. 497-500 1987 conf/fct/1987 FCT db/conf/fct/fct87.html#Zakrevskii87