Distribuované programovanie : algebraický prístup k špecifikácii a implementácii mechanizmu distribuovaného programovania - Házy, Miroslav (Dizertácia, 1990)