Fundamentals of Theoretical Computer Science - Davis Martin D.; Weyuker, Elaine J. (Orlando, 1983)
Keywords: Computational complexity; Petri nets; Rewriting systems (Computer science); Turing machines; Computer science; Machine theory