Formal Specification of Distributed Systems - A Discrete Space-Time LogicRobert BartaThis work has been finished in April 1995.