Kaisa Sere Marina A. Waldén Structuring and Verifying Distributed Algorithms. 193-218 2001 8 Nord. J. Comput. 2 http://www.cs.helsinki.fi/njc/References/serew:193.html db/journals/njc/njc8.html#SereW01