Marked Directed Graphs (1971)

by F Commoner, A W Holt, S Even, A Pnueli
Venue:Journal of Computer and System Sciences