Distribuované programovanie : algebraický prístup k špecifikácii a implementácii mechanizmu distribuovaného programovania - Házy, Miroslav (Košice : Katedra počítačov a informatiky EF VŠT, 1990)
Resumé angl. a rus.