Marked directed graphs (1971)

by F Commoner, A W Holt, S Even, A Pnueli
Venue:J. Comput. System Sci