Norbert W. Sauer A Ramsey theorem for countable homogeneous directed graphs. 45-61 2002 253 Discret. Math. 1-3 https://doi.org/10.1016/S0012-365X(01)00448-4 db/journals/dm/dm253.html#Sauer02