"Protocol Verification by Aggregation of Distributed Transactions."

Seungjoon Park, David L. Dill (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics