Wladyslaw M. Turski On Specification of Multiprocessor Computing. 685-696 1989 27 Acta Inf. 8 db/journals/acta/acta27.html#Turski89 http://dx.doi.org/10.1007/BF00264282