King Sing Cheung Augmented Marked Graphs - 2014 - Springer 2014 ISBN: 9783319064284 Subjects--Topical Terms: Computer ScienceTheory of Computation