Dieter Haban A method for testing distributed systems. 1986 conf/sigopsE/1986 ACM SIGOPS European Workshop http://doi.acm.org/10.1145/503956.503981 db/conf/sigopsE/sigopsE1986.html#Haban86