R. W. Whitty Digraphs: theory, algorithms and applications. 59-60 2002 12 Softw. Test., Verif. Reliab. 1 db/journals/stvr/stvr12.html#Whitty02