Programok párhuzamos végrehajtásának formális leírása VDL segítségével - Füvesi István (Disszertacio, 1981)