Simeon C. Ntafos S. Louis Hakimi On Structured Digraphs and Program Testing. 67-77 1981 30 IEEE Trans. Computers 1 db/journals/tc/tc30.html#NtafosH81