Eike Best Proof of a Concurrent Program Finding Euler Paths. 142-153 1980 conf/mfcs/1980 MFCS db/conf/mfcs/mfcs80.html#Best80 http://dx.doi.org/10.1007/BFb0022501