Formal verification of distributed systems - Kapus, Tatjana (Informatica (Ljubljana), 1989)