Formal Methods for Distributed Processing door Howard Bowman & John Derrick